OpenAI 称 AI 智能体群解出 Navier-Stokes 千禧年难题
德文帖称 OpenAI 用比 Astra 更强的未发布模型，让上万智能体并行 88 小时产出 165 页 Lean 形式化证明，尚待独立验证。
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..
这条是引用着另一条写的：「OpenAI 说解开了纳维-斯托克斯」