OpenAI宣佈解出一道千禧年大獎難題，攻克數學界“聖盃”
AI首次自主攻克千禧年大獎難題，展示推理能力質變。
要點
- OpenAI宣稱其未發佈模型解出納維-斯托克斯存在性與平滑性問題，成爲繼龐加萊猜想後第二個被攻克的千禧年大獎難題。
- 證明顯示：最初靜止的光滑流體可在有限時間內產生奇點（有限時間爆破），附帶165頁證明及形式化驗證。
- 攻關動用約10,000個AI智能體、270萬條消息、1,300億輸出Token、耗時88小時，算力成本達“數百萬美元”。
- 競爭對手Anthropic研究員Alpöge與數學家Buckmaster近期在流體動力學相關問題上也取得進展，雙方就數據污染指控產生分歧。
- OpenAI表示無意申領100萬美元獎金，旨在展示模型實質性飛躍；內部研究員稱該模型在數學基準上得分近50%，遠超已發佈的GPT-6 Astra（約10%）。
- [AI Synthesis] 此事件標誌着AI從輔助數學研究轉向自主攻克人類頂尖難題，可能重塑數學發現範式與AI商業競爭格局。