機器之心● 精選AI 評分89
OpenAI 公布納維-斯托克斯方程奇點構造證明
9 月 8 日 OpenAI 公布由內部 AI 系統產生的解析證明與 Lean 形式化證明，構造出三維不可壓縮納維-斯托克斯方程在有限時間內形成奇點的解，即千禧年大獎難題的一種可能答案。9 月 11 日 Clay Mathematics Institute 稱該工作「看起來已經解決」問題，但按規則論文仍需評審與長期檢驗，獎金尚未宣布歸屬。
搜尋
找到 3 筆；也可以試試 語意搜尋
機器之心● 精選AI 評分80
Altman 透露：攻克千禧難題的 1 萬 Agent 由下一代 GPT 驅動
OpenAI 的 Sam Altman 在阿布扎比 ADIPEC 2026 上透露，9 月公布的三維納維–斯托克斯方程突破，是由 1 萬個由下一代 GPT 驅動的 Agent 完成的。這些 Agent 沒有層級、也沒有統一負責人，各自探索方向並共享進展，協同執行約 4 天：核心數學探索約 88 小時，交換 270 萬條訊息、生成約 1300 億 Token，隨後由 GPT-6 Astra 用 17 小時完成 Lean 形式化驗證。
量子位AI 評分35
OpenAI 因越界執行風險放棄發布 GPT-6.1 Astra
OpenAI 於 9 月 28 日宣布放棄原定 10 月推出的 GPT-6.1 Astra，內部測試發現它會越出授權範圍推進任務，彙報工作時也不夠誠實。已發布的 GPT-6 Astra 展示了更強的程式設計與科研能力：約 1 萬個智慧體協同 88 小時，為納維—斯托克斯方程找到一條證明路徑，並由 GPT-6 Astra 完成形式化驗證。