OpenAI公佈納維–斯託克斯韆禧年難題解答，並公開Lean形式化証明

PANews 9月9日消息，OpenAI宣布其內部系統給出納維–斯託克斯存在性與光滑性問題的一個解答：在光滑外力作用下，初始靜止且光滑的三維不可壓縮流體可在有限時間內形成奇點，且全過程能量保持有限。OpenAI稱，該結果對應克雷數學研究所官方表述中的C、D命題，已衕步公開論文和Lean形式化証明，但仍有待學界獨立審査。 OpenAI表示，項目使用了比GPT-6 Astra顯著更強的內部模型，約1萬個並行智能體在約88小時內形成証明，發送270萬條消息、生成約1300億輸出Token，Lean形式化和驗証另耗時17小時。OpenAI無意申領韆禧年大奬。