OpenAI veröffentlicht 722 KI-generierte Mathematik-Paper im Open-Access

OpenAI hat 722 mathematische Paper veröffentlicht, die von einem internen KI-Modell generiert wurden, das bisher noch nicht für die breite Öffentlichkeit verfügbar ist. Jedes Paper behandelt ein offenes mathematisches Problem, wobei die Arbeiten in 372 Familien verwandter Publikationen über verschiedene Teilgebiete der Mathematik gruppiert sind.

Von gesättigten Benchmarks zur offenen Forschung

Das Unternehmen gab an, dass das Testen von Modellen auf konventionellen Benchmarks an Relevanz verloren habe, da diese Benchmarks gesättigt seien. Stattdessen wurde ein Agent mit 4.000 offenen Forschungsproblemen betraut. Laut OpenAI dauerte die Herleitung eines einzelnen Ergebnisses durchschnittlich etwa drei Stunden.

Bemerkenswerte Ergebnisse

• Hodge-Vermutung für CM-abellische Varietäten. Dies stellt einen Spezialfall der Hodge-Vermutung aus der Liste der Millennium-Probleme dar.
• Erweiterung des Nullstellenfreien Bereichs der Riemannschen Zeta-Funktion auf Re(s) > 11/12. Das bedeutet, dass alle nicht-trivialen Nullstellen im Streifen 1/12 < Re(s) < 11/12 liegen. Dies ist ein Zwischenschritt hin zur Riemannschen Hypothese.
• Lösung des Problems der freien Gruppenfaktoren. Dieses Problem war seit den 1940er-Jahren ungelöst; der Beweis schließt eine der ältesten Fragen in der Theorie der von-Neumann-Algebren ab.
• Unique-Games-Vermutung. Dies ist eine zentrale Fragestellung bezüglich der Grenzen approximierbarer Berechnungen: Für viele NP-schwere Probleme impliziert sie, dass die besten bekannten Algorithmen bereits optimal sind und Verbesserungen nur möglich wären, wenn P = NP gilt. Ein Beweis würde diese Frage für eine enorme Klasse von Problemen klären.

Repository

Alle Materialien sind auf GitHub unter github.com/openai/math veröffentlicht.