Neel Somani, ehemaliger Forscher im Bereich der Quantifizierung, hat die mathematischen Fähigkeiten des OpenAI GPT-5.2 Modells getestet und war überrascht, eine vollständige Lösung für ein schwieriges mathematisches Problem zu finden.

Der Prozess der Rationalisierung des Modells war komplex, verwendete fortgeschrittene Konzepte und bezog sich auf frühere Diskussionen in der mathematischen Gemeinschaft. Außerdem war die von der KI angebotene Lösung anders und umfassender als frühere Ansätze. Diese Fortschritte deuten darauf hin, dass KI ein wertvolles Werkzeug in der Mathematik wird, wobei 15 Probleme auf der Erdős-Website in den letzten Monaten von "offen" auf "gelöst" übergegangen sind, wobei viele der Lösungen den KI-Modellen zugeschrieben werden. Führende Mathematiker wie Terence Tao beobachten diese Entwicklungen aufmerksam und erkennen die bedeutenden Beiträge der KI zur Lösung weniger bekannter Probleme an. Ein verstärkter Fokus auf Formalisierung hat ebenfalls zur Erleichterung dieser Fortschritte beigetragen, und moderne Hilfsmittel zur Beweisführung haben die Eintrittsbarrieren verringert. Obwohl KI nicht autonom Mathematik macht, deutet ihre Rolle bei der Lösung langfristiger Probleme darauf hin, dass sich die Grenzen der mathematischen Entdeckung schnell verändern.