OpenAI meldet Beweis für Navier-Stokes nach 88 Stunden Rechenzeit
TL;DR
OpenAI erklärt eines der sieben Millennium-Probleme der Mathematik für gelöst. Nach Angaben des ChatGPT-Herstellers haben rund 10.000 parallel arbeitende AI-Systeme in 88 Stunden einen Beweis für das Navier-Stokes-Problem gefunden. Die Aufgabe beschäftigt Forschende seit fast einem Jahrhundert, das Clay Mathematics Institute hat sie mit einer Million Dollar dotiert. Ein veröffentlichter Beweis und eine unabhängige Begutachtung stehen bislang aus.
Nauti's Take
Hält der Beweis stand, ist das ein echter Fortschritt für die Forschung, denn AI-Agenten arbeiten hier tagelang an einem harten Problem statt nur an Minutenaufgaben. Der Haken liegt beim Tempo der Prüfung, weil Mathematiker für einen Beweis dieser Größe Monate brauchen und die Firmenkommunikation deutlich schneller läuft.
Für Forschungsteams entsteht daraus ein starkes Argument, Agentenprotokolle und Reproduktionsschritte zur Pflicht zu machen.
Quellen