OpenAI hat eine große Sammlung von mathematischen Forschung durch ein internes Grenz AI-Modell produziert, einschließlich der Arbeit an Problemen, die professionelle Mathematiker seit Jahren in Frage gestellt.
Das Unternehmen kündigte die Veröffentlichung am 6. Oktober, sagend, die Ergebnisse umfassen eine breite Palette von Mathematik und werden offen für die Prüfung durch Forscher veröffentlicht.
Die öffentliche Sammlung enthält 722 Handschriften, die nach OpenAIs Entwickler-Community in 372 verwandte Ergebnisfamilien organisiert wurden. Die Arbeit entstand aus einer Bewertung mit etwa 4.000 mathematischen Problemen.
Die Verge berichtet, dass die Sammlung über Hunderte von mathematischen Ergebnissen, die durch ein unveröffentlichtes Grenzmodell generiert. Aber die Veröffentlichung bedeutet nicht, dass jeder Anspruch sofort als etablierte mathematische Tatsache behandelt werden sollte. Die Forscher müssen die Beweise prüfen und die Bedeutung und Neuheit der einzelnen Ergebnisse bestimmen.
Eine besonders wichtige Funktion ist, dass OpenAI hat Formalisierungen vieler Beweise mit Lean, eine Programmiersprache, die mathematische Beweise durch Computer überprüft werden ermöglicht. Das Unternehmen sagt, zusätzliche Formalisierungen werden im Laufe der Zeit hinzugefügt werden.
OpenAI zeigte auch ein auffallendes Maß an Rechenleistung. Im Durchschnitt erforderte jedes Ergebnis eine Rechenleistung von etwa drei Stunden ChatGPT Pro Denken mit dem internen Modell.
Die Veröffentlichung folgt zunehmend dramatischen Behauptungen über KI Fähigkeit, zur Mathematik beitragen. Im September, OpenAI sagte, die gleichen breiteren Forschungsanstrengungen hatte mehr als 100 langjährige offene Probleme gelöst, so dass das Unternehmen zu arbeiten mit einer unabhängigen Gruppe von prominenten Mathematiker, wie solche Entdeckungen sollten überprüft und kommuniziert werden.
Diese Beratungsgruppe umfasst Mathematiker von Institutionen wie Stanford, Harvard, Oxford, Cambridge, Berkeley und das Institute for Advanced Study. Ihre Aufgabe besteht nicht nur darin, OpenAIs Arbeit zu unterstützen, sondern unabhängig über Bedeutung, Forschungsstandards und verantwortungsvolle Offenlegung zu beraten.
Die größere Frage geht nun darüber hinaus, ob KI schwierige Mathematik Fragen beantworten kann.
Wenn unabhängige Mathematiker letztlich bestätigen erhebliche Teile dieser Arbeit, die neue Grenze kann sein, ob KI routinemäßig entdecken können Mathematik, dass Menschen nicht bereits wissen.
