OpenAI says AI agent swarm solved the Navier-Stokes Millennium Prize problem
A German post says OpenAI used an unreleased model stronger than Astra to run up to 10,000 agents in parallel for 88 hours, producing a 165-page Lean-verified proof that still awaits independent review.
Die wenigsten verstehen, was hier gerade möglicherweise passiert ist! 😳 OpenAI hat eine KI-generierte Lösung für das Navier-Stokes-Problem veröffentlicht, eines der sieben berühmten Millennium-Probleme der Mathematik. Das Problem ist seit rund 90 Jahren ungelöst und gehört zu den schwierigsten mathematischen Problemen überhaupt. Das wirklich Krasse daran: Der Beweis wurde von einer Gruppe von KI-Agenten mithilfe eines noch unveröffentlichten OpenAI-Modells erarbeitet, das laut OpenAI deutlich leistungsfähiger als GPT-6 Astra sein soll. Bis zu 10.000 KI-Agenten arbeiteten parallel daran. Nach rund 88 Stunden, 2,7 Mio. Nachrichten und 130 Mrd. Output-Tokens entstand ein 165-seitiger Beweis, der zusätzlich formal mit Lean verifiziert wurde. Natürlich muss der Beweis jetzt noch unabhängig geprüft werden. Sollte er aber tatsächlich standhalten, wäre das ein gewaltiger Meilenstein: KI hätte nicht einfach bestehendes Wissen reproduziert, sondern möglicherweise eines der größten offenen Probleme der Mathematik gelöst und damit eigenständig neues Wissen geschaffen. Das könnte ein Vorgeschmack darauf sein, was uns mit den nächsten KI-Generationen erwartet. Ich bin mir noch nicht sicher ob es mehr cool, oder mehr gruselig ist..
This post quotes another post: “OpenAI says it solved the Navier-Stokes Millennium Prize problem”