OpenAI löst historisches Rätsel der Mathematik

Ein internes KI-Modell von OpenAI hat eine seit 80 Jahren bestehende mathematische Vermutung des legendären Mathematikers Paul Erdős autonom widerlegt. Das KI-Modell löste das berühmte Problem der Einheitsabstände in der diskreten Geometrie überraschend durch Methoden aus der algebraischen Zahlentheorie.

Unerwartete Verbindungen in der Mathematik

Das Problem von 1946 beschäftigt sich mit der Frage, wie viele Punktepaare in einer Ebene exakt den Abstand eins haben können. Bisher gingen Experten davon aus, dass quadratische Gitternetze die optimale Anordnung bieten. Das neue KI-Modell bewies jedoch das Gegenteil und fand eine unendliche Familie von Beispielen, die diese Annahme mathematisch widerlegen.

Für die Lösung nutzte das KI-Modell komplexe Methoden wie unendliche Klassenkörpertürme, die eigentlich in der algebraischen Zahlentheorie verortet sind. Mathematiker zeigten sich überrascht von dieser tiefen Verknüpfung zweier bisher getrennter Fachgebiete. Externe Experten überprüften und bestätigten den Beweis bereits in einer begleitenden wissenschaftlichen Arbeit.

Mehr Rechenzeit bringt den Durchbruch

Ein entscheidender Faktor für den Erfolg des Beweises war die Skalierung der Rechenleistung während der Antwortphase. Interne Untersuchungen von OpenAI zeigen, dass die Erfolgsquote des Modells bei dieser komplexen Aufgabe stark von der investierten Rechenzeit abhängt. Ohne zusätzliche Denkzeit lag die Genauigkeit nahezu bei null Prozent.

Mit steigendem Einsatz von sogenanntem Test-Time-Compute kletterte die Erfolgsrate in den Tests auf fast 50 Prozent. Diese Skalierung verdeutlicht das enorme Potenzial von hochentwickelten Reasoning-Fähigkeiten bei KI-Modellen. Es zeigt zudem, dass komplexe logische Zusammenhänge durch mehr Rechenzeit stabil gehalten werden können.

Diese autonomen Fähigkeiten könnten künftig auch in der Biologie, Physik oder den Materialwissenschaften eine wichtige Rolle spielen.