OpenAI deutet zweiten Durchbruch bei Millennium-Problemen an

Weniger als zwei Wochen nach der Behauptung, das Existenz- und Glattheitsproblem der Navier-Stokes-Gleichungen gelöst zu haben, deutet OpenAI an, kurz vor der Lösung eines weiteren der sieben Millennium-Probleme der Mathematik zu stehen. Spekulationen konzentrieren sich dabei auf die Hodge-Vermutung. Der Schritt erfolgt inmitten einer organisierten Gegenreaktion der mathematischen Gemeinschaft, einschließlich eines von 25 Fields-Medaillen-Trägern unterzeichneten Briefes, der vor einer "schwerwiegenden Fehlentwicklung" zwischen KI-Unternehmen und der von ihnen umgestalteten Disziplin warnt.

Die Folgen der Navier-Stokes-Ankündigung

Am 8. September gab OpenAI bekannt, dass etwa 10.000 koordinierte KI-Agenten, angetrieben von einem unveröffentlichten internen Modell, einen 166-seitigen Beweis sowie eine Lean-Formalisierung erstellt hätten. Diese zeige, dass die Navier-Stokes-Gleichungen "explodieren" können, also unendliche Strömungsgeschwindigkeiten aus glatten Anfangsbedingungen erzeugen, während einer 88-stündigen Berechnung, die am 1. September begann. Die Ankündigung löste sofort Vorwürfe des NYU-Mathematikers Tristan Buckmaster aus, der behauptete, OpenAI habe das Problem überstürzt angegangen, nachdem das Unternehmen erfahren hatte, dass er und der Anthropic-Forscher Levent Alpöge mit einem ähnlichen Ansatz Fortschritte machten. OpenAI wies die Vorwürfe zurück und erklärte, es sei "kategorisch" unmöglich, dass Buckmasters Arbeit das interne Modell beeinflusst habe.nytimes+3

Die Kontroverse eskalierte schnell. Am 11. September veröffentlichten Terence Tao und 24 weitere Fields-Medaillen-Träger eine Erklärung mit dem Titel "A Severe Misalignment of AI in Mathematics", in der sie argumentierten, dass KI-Unternehmen berühmte Probleme als Benchmarks für Brute-Force-Methoden behandelten, anstatt sie als Vehikel für echtes Verständnis zu nutzen. "Oft werden diese Lösungen überstürzt angekündigt, ohne Zeit für eine ordnungsgemäße Ausarbeitung, die Isolierung neuer Methoden und Ideen sowie die Zitierung relevanter früherer Arbeiten anderer zu lassen", hieß es in dem Brief. Fast 6.000 weitere Mathematiker haben sich dem inzwischen angeschlossen.science+2

Unabhängig davon unterzeichneten mehr als 1.000 Mathematiker einen offenen Brief gegen einen geplanten "Mathathon" am Caltech, bei dem Forscher mit KI-Rechenkapazitäten von OpenAI und Anthropic zusammengebracht werden sollten. Sie bezeichneten dies als unternehmerische Ausbeutung von Nachwuchswissenschaftlern. OpenAI zog sich daraufhin von der Veranstaltung zurück.science

Ein zweites Millennium-Problem

Während Mathematiker noch den umfangreichen Navier-Stokes-Beweis prüfen, hat OpenAI laut Berichten von The Information und Science signalisiert, dass das Unternehmen kurz vor der Lösung eines zweiten Millennium-Problems stehen könnte. Das Unternehmen hat nicht bestätigt, welches Problem im Fokus steht, aber die Spekulationen haben sich auf die Hodge-Vermutung konzentriert, ein Problem der algebraischen Geometrie, das so abstrakt ist, dass selbst seine Formulierung Expertenwissen auf Graduiertenniveau erfordert. Gerüchte deuten auch auf die Birch-und-Swinnerton-Dyer-Vermutung als mögliches Ziel für OpenAI oder Anthropic hin.theinformation+4

Der Zeitpunkt hat scharfe Kritik hervorgerufen. Javier Gómez-Serrano von der Brown University, der am 11. September in Harvard über den Navier-Stokes-Beweis vortrug, beschrieb das 166-seitige Dokument als "unverständlich" und sagte, die mathematische Gemeinschaft erlebe eine "existenzielle Krise". Sergei Gukov vom Caltech verglich den Moment mit "einem Erdbeben".science

Ob die nächste Behauptung von OpenAI, sollte sie sich materialisieren, den Riss zu den Mathematikern vertiefen oder einen Wendepunkt in Richtung Zusammenarbeit markieren wird, bleibt offen. Wie die Fields-Medaillen-Träger schrieben: Die Herausforderung, vor der die Mathematik heute steht, "deutet auf Probleme hin, mit denen die gesamte Menschheit konfrontiert sein könnte: Wie stellen wir sicher, dass wir, während KI die Art und Weise der Arbeit verändert, nicht aus den Augen verlieren, was diese Arbeit ursprünglich erreichen sollte".terrytao.wordpress