OpenAI hat Hunderte ungelöste mathematische Probleme veröffentlicht, die von einem internen KI-Modell bearbeitet wurden. Das Vorhaben versetzt Fachleute in Aufregung, wirft jedoch auch Fragen zur akademischen Einbindung und Verifizierung auf.
Hunderte Manuskripte und offene Herausforderungen
Insgesamt wurden 722 Manuskripte in 372 Themenfamilien in einem öffentlichen GitHub-Repository bereitgestellt, wie aus Recherchen und Berichten hervorgeht. Die Dokumente decken Disziplinen wie Algebra, Geometrie und theoretische Informatik ab.
Reaktionen aus der mathematischen Forschung
Andererseits warnen führende Köpfe vor den Konsequenzen für die akademische Gemeinschaft. Der Fields-Medaillenträger Terence Tao verglich die Entwicklung mit dem Ende der traditionellen „Math 1.0“-Ära.”
Die Zukunft der mathematischen Forschung darf nicht ausschließlich aus dem Verstehen von Ergebnissen bestehen, die von KI-Labs erzeugt werden Terence Tao, Mathematiker und Fields-Medaillenträger (via Yahoo Tech und Fortune)
Zudem bildete sich im Zuge der Debatte eine Gruppe namens Association for Human Mathematics (AHM), die in einem offenen Brief dazu aufrief, die Zusammenarbeit mit dem Unternehmen einzustellen (Fortune). Die Vereinigung wirft dem Unternehmen vor, mit der Veröffentlichung von hunderten Papieren auf einmal eine Machtdemonstration zu vollführen, statt echte wissenschaftliche Kultur zu pflegen. Vor der Existenz dieser Beratungsgruppe hatten bereits Mathematiker öffentlich Bedenken geäußert.
In einem offenen Brief mit dem Titel „A Severe Misalignment of AI in Mathematics“ machten die Mathematiker auf die negativen Begleiterscheinungen aufmerksam, die das Lösen offener Probleme als Benchmark für neue KI-Systeme mit sich bringt. Ein Institut für fortgeschrittene Studien in Princeton, New Jersey, merkte zudem kritisch an, dass die KI mathematische Argumente ausgeben könne, ohne dass der anstößige Mensch diese versteht, verifiziert oder die Verantwortung dafür übernimmt. Das Institut betonte, dass menschliches Verstehen von höchster Bedeutung für die Wissenschaft bleibt.”
Korrekturen und verbleibende Unbekannte
Die schiere Masse an Daten erschwert die sofortige Überprüfung durch menschliche Experten.
Dennoch zeigten sich erste Mängel. Laut einer Sprecherin wurden diese Fehler während einer internen Prüfung festgestellt, und die Ergebnisse wurden unvollständig oder ohne vollständige Formalisierung veröffentlicht, was von den Beratern des Gremiums für Mathematik und künstliche Intelligenz so empfohlen worden war.
Ob dies ausreicht, um den Graben zwischen privater KI-Forschung und der akademischen Gemeinschaft zu überbrücken, bleibt offen; das Unternehmen hat nicht signalisiert, das Testen seiner Modelle an diesen Herausforderungen einzustellen.
Weiterlesen
