OpenAI veröffentlicht Manuskripte zu 372 mathematischen Resultatfamilien

OpenAI hat ein Paket von 722 Manuskripten veröffentlicht, die 372 Resultatfamilien abdecken, welche verwandte mathematische Arbeiten gruppieren. Das Unternehmen gibt an, dass diese Dokumente Lösungen für eine Reihe langjähriger mathematischer Probleme enthalten, die von einem noch nicht veröffentlichten Frontier-Modell erzeugt wurden. Laut AGMAI, der Advisory Group on Mathematics and Artificial Intelligence, umfasst die Veröffentlichung Lösungen für „hunderte“ offene Fragen.

Details zur Veröffentlichung und Methodik

Die Resultate wurden in einem GitHub-Repository veröffentlicht. OpenAI gibt an, dass das Repository Protokolle für Papierrevisionen und Zitationen enthält. Das Unternehmen teilte zudem Formalisierungen vieler Beweise in Lean, einer Programmiersprache, die es ermöglicht, mathematische Beweise computergestützt zu prüfen. OpenAI erklärt, dass es das Repository mit weiteren Formalisierungen aktualisieren wird, sobald diese vorliegen.

Um die Transparenz zu fördern, veröffentlicht OpenAI zusätzliche Details darüber, wie die Resultate erzielt wurden. Diese Details beinhalten 10 Zusammenfassungen der Argumentation des Modells, Schätzungen des Rechenaufwands in Form von Pro-Nutzung auf ChatGPT sowie Statistiken über die Anzahl der versuchten Probleme. OpenAI behauptet, dass das „durchschnittliche Resultat“ das Äquivalent von drei Stunden ChatGPT Pro Denkzeit beanspruchte.

Empfehlungen der Beratungsgruppe

Die Veröffentlichung folgt öffentlichen Empfehlungen der AGMAI, einer unabhängigen Beratungsgruppe aus Elite-Mathematikern, die gebildet wurde, um an einer verantwortungsvollen Kommunikation von Resultaten zu arbeiten. Ende September forderte die AGMAI KI-Labore auf, mathematische Resultate zeitnah und nach Möglichkeit über etablierte akademische Kanäle zu veröffentlichen. Die Gruppe empfahl zudem die Offenlegung von Details wie dem Namen des verwendeten Modells, den Prompts und den Rechenkosten.

Die AGMAI erklärte, dass KI-Unternehmen „davon absehen sollten, die Veröffentlichung mathematischer Resultate als Marketinginstrumente zur Bewerbung ihrer Modelle zu behandeln“, eine Praxis, die ihrer Meinung nach der mathematischen Gemeinschaft erheblichen Schaden zufügt. In der Erklärung von OpenAI wird darauf hingewiesen, dass das Unternehmen mit der AGMAI am Institute for Advanced Study zusammengearbeitet hat, um Best Practices zu entwickeln, und deren Rat genutzt hat, um die Art der Veröffentlichung dieser Resultate zu bestimmen.

Zukunftspläne und Auswirkungen auf die Community

OpenAI gibt an, weiterhin andere community-gehostete Alternativen für diese Veröffentlichung zu prüfen, die den Richtlinien des Komitees entsprechen. Für zukünftige Veröffentlichungen erklärt das Unternehmen, bestrebt zu sein, die Qualität der Arbeiten durch Zitationen, mathematische Ausführungen und die Präsentation der Resultate für ein besseres Verständnis weiter zu verbessern.

Das Unternehmen kündigte zudem Pläne an, eine Reihe von Workshops, Konferenzen und speziellen Programmen zum Verständnis bedeutender, durch KI erzeugter Resultate zu finanzieren. OpenAI sagt, es wolle Wissenschaftler direkt mit modernsten Fähigkeiten unterstützen und arbeite an der verantwortungsvollen Veröffentlichung des Modells, das diese Resultate hervorgebracht hat.

Warum es wichtig ist

Die Veröffentlichung erweitert die wachsende Menge mathematischer Resultate aus KI-Laboren, einschließlich OpenAI und konkurrierenden Laboren wie Anthropic, die das Fachgebiet derzeit noch verarbeitet. Die Geschwindigkeit, mit der KI-Labore in diesem Jahr in die Disziplin eingedrungen sind, hat Debatten über Forschungspraktiken, Ethik und die Art und Weise, wie Unternehmen menschliche Mathematiker würdigen, ausgelöst. Die volle Wirkung der Resultate wird wahrscheinlich erst mit der Zeit spürbar sein, wenn Mathematiker sie bewerten und aufarbeiten.

Quellen (auf Englisch)

• theverge.com: OpenAI drops another batch of mathematical breakthroughs | The Verge
• openai.com: Sharing AI progress in mathematics | OpenAI

KI-Übersetzung des englischen Originalartikels, automatisch geprüft, damit sie dasselbe aussagt wie das Original. Die Quellen wurden auf Englisch geprüft.