OpenAI präsentiert hunderte weitere Mathe-Ergebnisse vor schockiertem Fachpublikum

Die Schleusen sind geöffnet. Kurz nachdem das neue große Sprachmodell von OpenAI den größten mathematischen Durchbruch seit zwei Jahrzehnten erzielt hat, veröffentlichte das Unternehmen soeben hunderte zusätzliche Ergebnisse desselben Modells. Jedes davon löst eine wichtige offene Frage in der Mathematik oder der theoretischen Informatik oder macht wesentliche Fortschritte dabei, so das Unternehmen.

Das Unternehmen enthüllte die Ergebnisse um 18:00 Uhr EDT in einem GitHub-Repository. Die Flut wird Mathematiker Monate kosten, um sie zu analysieren und zu verstehen – einschließlich der Bestimmung, ob die Beweise neuartige und wichtige Ideen enthalten oder größtenteils Kombinationen bestehender Techniken sind. Viele der Ergebnisse wurden jedoch bereits in Lean verifiziert – einer Programmiersprache, die die Logik eines Beweises validiert – und sind daher so gut wie sicher korrekt.

Ein Sprecher von OpenAI sagte gegenüber Scientific American, dass das neue Modell – welches das Unternehmen noch nicht für die Öffentlichkeit freigegeben hat – fast jedes der Ergebnisse als Antwort auf einen einzigen Prompt an einen einzelnen KI-Agenten produziert hat. Dies wäre ein markanter Unterschied zu OpenAIs früherer bahnbrechender Lösung des Navier-Stokes-Problems, die durch die gemeinsamen Bemühungen eines 10.000 Mitglieder starken agentenbasierten Schwarms erzielt wurde, was Millionen von Dollar an Rechenleistung kostete. Wenn dies wahr ist, würde es bedeuten, dass beispiellose mathematische Leistung bald für jeden zugänglich sein könnte. Doch der Ruf von OpenAI unter Mathematikern für kühne Behauptungen und wenig Transparenz sorgt für erhebliche Skepsis.