Neel Somani hat ein Erdos-Problem gelöst?
Neel Somani
Neel Somani11. Jan., 13:00
Wochenendgewinn: Der Beweis, den ich für das Erdos-Problem #397 eingereicht habe, wurde von Terence Tao akzeptiert. Der Beweis wurde von GPT 5.2 Pro generiert und mit Harmonic formalisiert. Viele offene Probleme warten darauf, dass jemand ChatGPT auffordert, sie zu lösen:
Während CT zerfällt, ist es lustig, alte Charaktere in der Wildnis zu sehen.
24