一萬個 AI 同時解一道數學難題，連續跑了約 88 小時。OpenAI 9 月 8 日公布 Navier–Stokes（納維–斯托克斯）存在性與光滑性難題的證明，稱解法來自一款比 GPT-6 Astra 更強、仍在內部訓練的模型。
這道千禧年難題研究的是水與空氣的運動：三維流體從平順的狀態開始流動，方程式會不會在有限時間內算出無法維持平滑的「奇點」？OpenAI 聲稱，在平滑外力作用下找到了這種情況，並公開論文與 Lean（形式化證明工具）程式，供外界檢驗。
解題過程也很有意思。代理分組嘗試不同路線，團隊再用 Codex 整理各組進展，讓其他組接著探索。找到解法後，GPT-6 Astra 又花約 17 小時完成形式化與驗證；單是這道題，就用了約 1,300 億個輸出 token（模型輸出內容的計量單位）。這次展現的，是大量 AI 分工、交換成果的研究方式。
研究草稿交給 AI，貢獻與資料使用怎麼算？
紐約大學數學家 Tristan Buckmaster（崔斯坦・巴克馬斯特）與研究者 Levent Alpöge（萊文特・阿爾珀格）也在做相關研究。Buckmaster 在公開聲明中說，他們曾把未公開草稿放進 Codex，因此詢問模型是否接觸過這些內容；他也明確表示，自己不知道資料是否被使用。
OpenAI 否認為解題存取特定使用者資料，並表示團隊與代理在對方公開成果前都沒看過其研究；但公司無法完全排除，去識別化的產品使用資料曾間接幫助模型改善。雙方的歐拉方程成果，所採外力條件也不同。
截至 9 月 9 日，克雷數學研究所仍將這道題列為未解，OpenAI 則表示不申領獎金。如果證明獲得認可，這種大規模協作將是 AI 研究能力的重要進展；而研究者把草稿交給平台後，資料如何使用、貢獻如何歸屬，也已經成為眼前的問題。
