OpenAI 在 9 月 8 日公布：其內部模型用約 88 小時、約 1 萬個代理，給出納維－斯托克斯方程可在有限時間內出現奇點的證明，並附上 Lean 形式化。這是該公司自己的發布，不是克雷數學研究所已經頒發百萬美元獎；同日亦有數學家質疑研究路徑的先後。
這條方程為什麼叫千年難題
納維－斯托克斯方程（Navier–Stokes equations）描述液體和氣體怎麼流動。氣象、飛機機翼、水管，背後都是同一組式。2000 年，克雷數學研究所把「這些方程的解是否永遠保持光滑、會不會在有限時間內爆掉」列為七條千年獎難題之一，每題 100 萬美元。
通俗地說，問題是：從一個看起來很普通、處處光滑的流體出發，數學上會不會在某一刻出現速度變成無限大的「奇點」。若會，方程作為物理模型在那一點失效；若永遠不會，方程在數學上站得住。這不是今晚要改的天氣預報，而是數學家用了一百多年仍未寫完的一頁。
OpenAI 實際公布了什麼
官方頁《On the Navier–Stokes Millennium Prize Problem》寫明：內部系統給出分析證明，以及一份 Lean 形式化。結論是：一個最初靜止、處處光滑的流體，在光滑外力作用下、能量全程保持有限，仍可在有限時間內出現奇點。OpenAI 寫這對應千年獎正式表述裡的 C，也涵蓋 D。
記者會上，計算機科學家 Ven Chandrasekaran 說：證明顯示存在「一開始完全正常、卻在有限時間內達到無限速度」的流體。Nature、紐約時報同日轉述。公司使用的是尚未向公眾開放、官方稱為明顯強過 GPT-6 Astra 的內部模型；Lean 核對另花約 17 小時。必須讀準的一句：這是 OpenAI 把自己的證明和形式化公開，請學界核對。克雷研究所的百萬美元，要該所按章程審核後才頒。執筆時沒有克雷「已經頒獎」的公報。
| 官方／記者會說法 | 已核對 | 尚未等於 |
|---|---|---|
| 約 88 小時得出結果 | 官網：代理在 9 月 5 日抵達解答，距首次啟動約 88 小時 | 人類數學家 88 小時可複核完畢 |
| 約 1 萬個並行代理 | 官網與記者會；先用 1,000 個代理攻歐拉方程約 50 小時，再加到 1 萬個攻完整問題 | 全世界每間實驗室都能複製同一規模 |
| 算力成本「數百萬美元」量級 | 研究主管 Mark Chen 在記者會的說法 | 克雷已經匯出 100 萬美元獎金 |
| 客戶若要跑同一題約 1,500 萬美元 | New Scientist 引述記者會 | 這是你今晚的 API 帳單 |
這些數字說明的是規模，不是今晚要不要改用某個聊天視窗。證明是否成立，要看寫本、Lean 核對，以及獨立數學家能不能重現——不是看代理數目。
為什麼同一天出現爭議
9 月 7 日，紐約大學數學教授 Tristan Buckmaster 與 Anthropic 研究員 Levent Alpöge 公布與歐拉方程等相關的階段成果，視為逼近納維－斯托克斯的踏腳石。Buckmaster 其後指：OpenAI 是在聽聞二人進度之後，才把大量算力押上同一方向；二人曾把草稿放進 Codex，他問過這些會話有沒有被模型用到。
OpenAI 官方文承認，9 月 1 日起把資源集中到這題，是因為聽到「有千年獎級流體結果」的傳聞；同時寫明「沒有透過任何途徑看到他們的工作」。Sébastien Bubeck 對記者說，事後對照，證明路徑與精確結果並不相同。紐約時報、WIRED、Axios 都記下了雙方說法。
這一段要停在「雙方各有聲明」。不要寫成 OpenAI 已經承認取用草稿，也不要寫成 Buckmaster 的指控已經被獨立調查坐實。學界核對證明、克雷是否受理，都還在後面。
Meta 的 Muse：聊天變成代辦
同一日，Meta 新聞稿《Introducing Muse》推出個人代理 Muse。定位不是再答一輪問題，而是代做：發電郵、訂旅行、填表格、把食譜做成購物清單，付款時可用 Stripe 的 Link（一次性卡號，不把真實卡號交給代理）。它跑在獨立的 Muse Secure VM，另有 Sentinel 代理審批出站行為；寄信和付款會先問人。
先在美國以 iOS、Android 及 muse.ai 上架，也可在 WhatsApp 使用。路透引述：免費層為主，另有每月 20 美元與 100 美元方案（約 156 港元、780 港元，按 2026 年 9 月 9 日約 1 美元兌 7.8 港元）。路透同時寫，內部測試曾出現停頓與敏感資料外洩疑慮。官方未公布香港上架日期——這是美國產品發布，不是本港今晚要下載的應用。
ChatGPT Images 2.5：延遲最多減一半
OpenAI 產品文《Introducing ChatGPT Images 2.5》把圖像模型換成 2.5：光線和質感更自然、較能保住參考相片裡的人與寵物、多輪改圖較跟得上指示，生成延遲較 2.0 最多減 50%。可在圖上直接標註要改的位置，也可分享提示語。向所有 ChatGPT、ChatGPT Work、Codex 用戶在桌面、手機、網頁推出。
開發者 API 同步有 GPT-Image-2.5 Flare（預設、延遲減半）與 Sunburst（更高保真）。這是已上架的產品更新，和千年獎聲明不是同一類事：一個今晚可在工具裡點到，一個要等數學期刊與研究所。同日 Google DeepMind 亦發布 AlphaGenome Atlas，為約 90 億種單字母變異預先計算分子影響；官方寫明僅供研究、不可作臨床決策，這裡只記一筆。
先釐清這幾個問題
- 百萬美元已經入帳了嗎？沒有。那是克雷的章程獎金，執筆時未見頒獎公報。
- 88 小時等於證明已被學界接受嗎？不等於。公開的是寫本與 Lean 檔，核對才剛開始。
- Muse 今晚能在香港用嗎？官方寫美國先上；沒有亞洲日期就不要裝來路不明的安裝包。
- Images 2.5 要另外付費嗎？官方寫向所有層級推出；額度仍跟你原本的 ChatGPT 方案走。
相關討論
OpenAI《On the Navier–Stokes Millennium Prize Problem》；OpenAI《Introducing ChatGPT Images 2.5》；Meta《Introducing Muse》；Google DeepMind《AlphaGenome Atlas》。
總結
過去 24 小時最值得記住的，不是又一張分數表，而是 OpenAI 把一條百年數學題的證明放到官網上，請人核對；獎還沒頒，爭議也還沒結。同一日，Meta 把代理做成美國先用的代辦產品，ChatGPT 則把出圖速度明顯加快。下一步是打開原文，分清「已上架的工具」和「仍待核實的證明」，再決定自己要不要改用圖像模型——數學那一頁，留給學界。