KI-Modell GPT-5.2 Pro liefert neuen Beweis für offenes mathematisches Problem

GPT-5.2 Pro hat dabei geholfen, ein weiteres Erdős-Problem zu lösen. Neel Somani berichtet, dass er mit dem KI-Modell das Erdős-Problem #281 aus der Zahlentheorie gelöst hat. Der Mathematiker Terence Tao bezeichnet dies als "vielleicht das eindeutigste Beispiel" für eine KI, die ein offenes mathematisches Problem löst. Allerdings existierten wohl bereits frühere Beweise, die womöglich die Antwort des Modells beeinflussten. Tao bestätigt jedoch, dass der Beweis von GPT-5.2 Pro "ziemlich anders" als die früheren Beweise sei.

Gleichzeitig warnt Tao vor einer verzerrten Wahrnehmung der KI-Fähigkeiten: Negative Ergebnisse würden selten veröffentlicht, positive Resultate gingen dagegen viral. Eine neue Datenbank von Paata Ivanisvili und Mehmet Mars Seven dokumentiert systematisch KI-Versuche an Erdős-Problemen. Die tatsächliche Erfolgsquote liege nur bei ein bis zwei Prozent, konzentriert auf leichtere Probleme. Dennoch sei KI hier eine Unterstützung, wenn auch das durchschnittlich schwere Erdős-Problem wohl bisher nicht lösbar sei. Die erste von Tao bestätigte autonome Lösung eines Erdős-Problems stammt vom 4. Januar 2026.