OpenAI hat mit einer internen Version seines kommenden Modells Astra zehn offene mathematische Probleme gelöst, die teilweise seit Jahrzehnten ungelöst waren. Die Ergebnisse belegen eindrücklich, wie stark KI in der Mathematik als Forschungspartner eingesetzt werden kann. Von höherdimensionaler Geometrie bis zur Quantenkomplexität reicht das Spektrum der Durchbrüche. Welche zehn Fortschritte erzielt wurden und warum die Forschungsgemeinschaft zur kritischen Prüfung aufgerufen ist, lesen Sie hier.

KI in der Mathematik: Die zehn erzielten Durchbrüche

Die Resultate wurden durch eine interne Version von Astra erzielt und umfassen bedeutende Fortschritte in Mathematik und theoretischer Informatik. Die Gesamtkosten für die zur Lösung benötigten Tokens beliefen sich auf etwa 2.000 US-Dollar nach aktuellen API-Tarifen. Die mathematischen Argumente wurden anschließend von Menschen in wissenschaftliche Manuskripte überführt und daraufhin in Lean formalisiert. Zusätzlich veröffentlicht das Unternehmen für jede Lösung eine Aufzeichnung des Denkprozesses des Modells.

Die gelösten Probleme stammen aus Bereichen wie höherdimensionaler Geometrie, Kodierungstheorie, arithmetischer Schaltkomplexität, Gruppentheorie, Operatoralgebren, Quantenkomplexität, Gitterkryptografie und extremaler Kombinatorik. Sie alle waren mindestens zehn Jahre lang ungelöst und genießen hohes Interesse in den jeweiligen mathematischen Communities.

Die Resultate im Überblick

• Hochdimensionale Sphärenpackung: Neue obere Schranken für die Packungsdichte bis zur Cohn-Elkies-Schwelle.
• Binäre und sphärische Codes: Exponentiell verbesserte Schranken für die maximale Größe binärer Codes bei vorgegebenem Mindestabstand sowie analoge Ergebnisse für hochdimensionale sphärische Codes.
• Nicht-sofische Gruppen: Ein Konstruktionsbeweis für die Existenz nicht-sofischer Gruppen, der eine zentrale offene Frage der Gruppentheorie klärt.
• Connes-Rigiditätsvermutung: Widerlegung der langjährigen Vermutung, dass bestimmte Gruppen eindeutig durch ihre von-Neumann-Algebren bestimmt sind.
• Arithmetische Schaltkomplexität: Neue untere Schranken für die Berechnung der Permanente mit arithmetischen Schaltkreisen und Formeln, darunter eine untere Schranke der Ordnung n/log n für arithmetische Formeln.
• Quanten-Parallelwiederholung: Ein exponentielles Parallelwiederholungstheorem für allgemeine Zwei-Spieler-Quantenspiele.
• Nächster-Vektor-Problem: Polynomielle Härte der Approximation für das Nächster-Vektor-Problem, eine grundlegende Gitterfrage mit Bedeutung für die Post-Quanten-Kryptografie.
• Ehrharts Volumenvermutung: Bestimmung des maximal möglichen Volumens eines konvexen Körpers, dessen Schwerpunkt sein einziger innerer Gitterpunkt ist – für jede Dimension.
• Mehrfarbige Ramsey-Zahlen: Eine superexponentielle untere Schranke für mehrfarbige Dreiecks-Ramsey-Zahlen, die Erdős-Problem 183 löst.
• Extremale Zahlenvermutungen: Ergebnisse zur Kompaktheits- und Degeneriertheitsvermutung in der extremalen Graphentheorie, die Erdős-Probleme 146 und 180 auflösen.

Verantwortung und transparente Zusammenarbeit

OpenAI betont, dass Technologieunternehmen allein nicht über die Rolle von künstlicher Intelligenz in der mathematischen Forschung entscheiden dürfen. Das Unternehmen bekennt sich zu ehrlicher Attribution und lehnt es ab, menschliche Urheberschaft für vollständig KI-generierte Beweise zu beanspruchen. Die mathematischen Argumente stammen vom Modell, während Menschen die Manuskriptvorbereitung und die Formalisierung in Lean übernahmen. OpenAI übernimmt die Verantwortung für die Korrektheit und hofft auf eine intensive Auseinandersetzung durch die mathematische Community.

Der Zugang zu leistungsstarken KI-Systemen soll laut OpenAI weitgehend gewährleistet bleiben, um Wissenschaftlerinnen und Wissenschaftlern eine aktive Mitgestaltung der digitalen Transformation ihrer Disziplinen zu ermöglichen.

Quelle

Quelle: https://openai.com/index/ten-advances-in-mathematics