OpenAI veröffentlicht 719 Mathe-Arbeiten eines unveröffentlichten KI-Modells

Bewunderung und Unbehagen

Die Veröffentlichung folgt auf OpenAIs Ankündigung vom September, eine Lösung für das Navier-Stokes-Problem gefunden zu haben, eine der großen Herausforderungen der Mathematik. Damals kritisierte der Mathematiker Tristan Buckmaster, wie stark frühere Arbeiten zum Ergebnis der KI beigetragen hätten. Diesmal habe man eine unabhängige Expertengruppe konsultiert, um die Weitergabe von Entdeckungen zu verbessern, so das Unternehmen.

Steven Kelk, Associate Professor für theoretische Informatik an der Universität Maastricht, sagte der niederländischen Zeitung Volkskrant, er betrachte die Ergebnisse mit Bewunderung. Seiner Einschätzung nach könnte die KI auf einen Schlag Fortschritte erzielt haben, die zehn oder zwanzig Jahren Forschung entsprechen. Zugleich spricht er von einem «großen Gefühl der Leere». Forschung bedeute für ihn auch, sich zu irren, mit anderen zusammenzuarbeiten und beim Lösen neue Ideen zu entdecken. Liefere eine Maschine direkt die Antwort, gehe ein Teil dieser Erfahrung verloren.

Auch Terence Tao äußerte Sorge über Forschende, die KI nutzen, ohne die Ergebnisse ausreichend zu verstehen. Die unabhängige Beratergruppe AGMAI fordert, dass solche Fortschritte transparent geteilt werden und menschliches Wissen voranbringen.

Geld für das Verstehen

OpenAI kündigte außerdem 5 Millionen US-Dollar für eine Initiative der Simons Foundation an. Sie soll Mathematikern helfen, KI-generierte Beweise zu studieren und nachzuvollziehen. Das Prüfen und Einordnen maschinell erzeugter Resultate dürfte damit ebenso wichtig werden wie ihre Erzeugung.