OpenAI 公布納維-斯托克斯方程奇點構造證明
9 月 8 日 OpenAI 公布由內部 AI 系統產生的解析證明與 Lean 形式化證明，構造出三維不可壓縮納維-斯托克斯方程在有限時間內形成奇點的解，即千禧年大獎難題的一種可能答案。9 月 11 日 Clay Mathematics Institute 稱該工作「看起來已經解決」問題，但按規則論文仍需評審與長期檢驗，獎金尚未宣布歸屬。
記錄了千禧年難題首次被機構稱為「看起來已解決」這一節點，並給出 70 奈米這一可對照物理尺度的估算，對關注 AI 參與數學證明與多尺度流體計算的人最有參考價值。
原標題：OpenAI突破纳维-斯托克斯方程之后，物理学中发生了什么变化
閱讀原文
| 評分 | 92 / 87（平均 89，門檻 65） |
|---|---|
| 狀態 | 精選 |
相關報導
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。
OpenAI 放出 722 篇數學手稿，稱攻下準黎曼猜想等難題
OpenAI 在 GitHub 倉庫 openai/math 公開 722 篇數學手稿，歸入 372 個成果族，全部由一個尚未發布的內部前沿模型產出。據 OpenAI 說明，模型被投餵約 4000 個研究問題，平均每個結果消耗約相當於 3 小時 ChatGPT Pro 思考的算力，手稿日期幾乎集中在 9 月 23 日至 10 月 5 日。372 族中有 235 族附帶 Lean 形式化，約佔六成三；OpenAI 承認未形式化的結果可能存在問題，且未公布模型名稱。
24 年鑽研 Barnette 猜想者稱它已在 openai/math 被證明
在 Hacker News 關於 openai/math 的討論中，Jake Boggan 稱自己斷續研究了 24 年的 Barnette 猜想似乎已被證明，編號是 problem 180。他早年沉迷圖論，曾搬到布達佩斯跟隨名家學習，期間開始做這個問題，前後投入數千小時，去年夏天還一度以為是自己解出來的。得知結果後，他說不知道該怎麼想，這種感受像聽說前女友突然死於車禍，並猜當晚不少人心情複雜。