GPT-5.2 Pro löst Erdős-Problem #281 – Erste bestätigte autonome KI-Lösung eines offenen mathematischen Problems

Kurzfassung

Das KI-Modell GPT-5.2 Pro hat das Erdős-Problem #281 aus der Zahlentheorie gelöst – ein Durchbruch, den Mathematiker Terence Tao als „vielleicht das eindeutigste Beispiel" einer KI-Lösung eines offenen mathematischen Problems bezeichnet. Neel Somani berichtete von diesem Erfolg, wobei Tao bestätigt, dass der Beweis des Modells sich deutlich von früheren Lösungsansätzen unterscheidet. Allerdings warnt Tao vor einer verzerrten Wahrnehmung der KI-Fähigkeiten: Eine neue Datenbank zeigt, dass die tatsächliche Erfolgsquote bei KI-Versuchen an Erdős-Problemen nur bei ein bis zwei Prozent liegt.

Personen

• Neel Somani
• Terence Tao
• Paata Ivanisvili
• Mehmet Mars Seven
• Matthias Bastian

Themen

• KI-Durchbruch in der Mathematik
• Erdős-Probleme und Zahlentheorie
• KI-Erfolgsquoten bei mathematischen Problemen
• Verzerrte Wahrnehmung von KI-Fähigkeiten
• Publikationsbias in der KI-Forschung

Detaillierte Zusammenfassung

Das KI-Modell GPT-5.2 Pro hat bei der Lösung des Erdős-Problems #281 aus der Zahlentheorie eine bedeutsame Rolle gespielt. Nach Angaben von Neel Somani gelang es mit Unterstützung dieses Modells, ein weiteres lange offenes mathematisches Problem zu lösen.

Der renommierte Mathematiker Terence Tao bewertet diese Leistung als „vielleicht das eindeutigste Beispiel" dafür, dass eine KI ein offenes mathematisches Problem gelöst hat. Allerdings gibt Tao zu bedenken, dass möglicherweise bereits frühere Beweise für dieses Problem existierten, die die Antwort des Modells beeinflusst haben könnten. Tao betont jedoch, dass der von GPT-5.2 Pro erbrachte Beweis sich „ziemlich anders" von den früheren Beweisen unterscheidet, was auf einen genuinen eigenständigen Lösungsansatz hindeutet.

Gleichzeitig warnt Tao vor einer überoptimistischen Einschätzung der KI-Fähigkeiten. Negative Ergebnisse würden selten veröffentlicht, während positive Resultate schnell viral gingen – ein klassischer Publikationsbias, der zu einer verzerrten öffentlichen Wahrnehmung führt.

Eine neue Datenbank von Paata Ivanisvili und Mehmet Mars Seven dokumentiert systematisch alle KI-Versuche an Erdős-Problemen. Die Realität ist deutlich nüchterner als der mediale Hype vermuten lässt: Die tatsächliche Erfolgsquote liegt nur bei ein bis zwei Prozent und konzentriert sich auf leichtere Probleme. Dennoch wird KI als unterstützendes Werkzeug anerkannt, auch wenn durchschnittlich schwere Erdős-Probleme bislang nicht automatisch lösbar seien.

Die erste von Tao bestätigte autonome Lösung eines Erdős-Problems datiert auf den 4. Januar 2026.

Kernaussagen

• GPT-5.2 Pro hat das Erdős-Problem #281 gelöst – ein von Terence Tao bestätigter Durchbruch
• Der KI-Beweis unterscheidet sich signifikant von früheren Lösungsansätzen
• Die reale Erfolgsquote von KI bei Erdős-Problemen liegt bei nur ein bis zwei Prozent
• Positive KI-Ergebnisse werden überproportional häufig veröffentlicht, was zu verzerrten Erwartungen führt
• KI fungiert als unterstützendes Werkzeug, nicht als autonomer Problemlöser für schwierige mathematische Fragen
• Eine systematische Datenbank dokumentiert nun alle KI-Versuche an Erdős-Problemen

Metadaten