1萬個AI代理解開90年數學難題！OpenAI為何反遭學者控「搶研究」？

Capture record

• Canonical URI： https://www.bnext.com.tw/article/92182/openai-navier-stokes-proof-buckmaster-dispute
• Source class： secondary synthesis。BusinessNext（李先泰；頁尾自述本文初稿為 AI 編撰）整理 OpenAI 官方發布、Tristan Buckmaster 公開聲明、Terence Tao 貼文與多家媒體報導，聚焦數學成果、研究優先權、資料使用與作者署名爭議。本筆保留各方 attribution，不把媒體二手整理或 OpenAI 供應商自述提升為獨立驗證，維持 status: draft。
• 原文標題： 1萬個AI代理解開90年數學難題！OpenAI為何反遭學者控「搶研究」？
• 作者／出版者： 李先泰（整理．編輯；初稿 AI 編撰）／數位時代 BusinessNext
• 發布／修改時間： 2026-09-09T17:00:00+08:00（BusinessNext NewsArticle JSON-LD，兩者相同）
• 擷取時間： 2026-09-09T09:38 UTC
• Retrieval method： web_extract 讀取 BusinessNext 失敗（gateway timeout），改以 Python urllib 直接 HTTP GET 取得 canonical HTML 與 JSON-LD（status 200、response Date: Wed, 09 Sep 2026 09:38:42 GMT、313,072 bytes、articleBody 2,895 字元）。另以 web_extract 讀取 OpenAI 官方發布頁、Tristan Buckmaster 公開 PDF 聲明與 Terence Tao 的 Mathstodon 貼文作 claim tracing；OpenAI 官方頁直接 HTTP GET 回 403 Forbidden，未以 browser 繞過。全程未使用 browser；只保存 metadata、faithful summary、claim ledger、必要來源連結與 rights boundary。
• Saved payloads and SHA-256： 無；只保存本 wrapper。frontmatter 的 sha256 是本檔 frontmatter 結束後 body 的 SHA-256，未對 BusinessNext HTML、OpenAI PDF、Buckmaster PDF、圖片或其他 payload 宣稱可重現 hash。

Faithful summary

BusinessNext 報導：OpenAI 於 2026-09-08 宣布，內部 AI 模型提出 Navier–Stokes 存在性與光滑性問題的證明；OpenAI 的說法是，模型找到一個在加入平滑外力時、有限時間形成奇異性的例子，對應 Clay 千禧年難題的選項 C／D。文章同時強調，截至 2026-09-09，數學界仍未完成獨立審查，因此「解開難題」在本筆中只保留為 OpenAI 的公開主張。¹²

OpenAI 官方發布頁稱，研究使用約 10,000 個同時運作的 agents；團隊在啟動約 88 小時後得到 Navier–Stokes 結果，再花 17 小時以 GPT-6 Astra 協助 Lean formalization 與 verification。官方另稱，所有嘗試共傳送約 490 萬則訊息、使用約 3,000 億 output tokens，其中 Navier–Stokes 路線約 270 萬則訊息、約 1,300 億 output tokens。這些數字都是 OpenAI 供應商自述，不是本輪獨立重算。²

OpenAI 也表示，團隊在 2026-09-01 聽到「兩個千禧年難題已被解開」的傳聞後，才啟動多代理評估；其官方版本是研究員與 agents 在 Buckmaster／Alpöge 公開成果前沒有看到他們的工作，沒有為解題而存取特定使用者資料，但無法完全排除去識別化產品資料曾間接幫助模型改進。OpenAI 同時說明，自己的 Navier–Stokes 結果與兩人的 forced Euler 結果不同，且不打算申請 Clay 獎金。²

Tristan Buckmaster 的公開聲明則說，他與 Levent Alpöge 是私人合作，使用 Claude、OpenAI Codex 等 LLM，2026-08-15 得到 smooth-forcing 的 Boussinesq 與 Euler 結果，2026-08-22 通過 Lean 驗證；他強調這不是 Anthropic 的公司計畫，且研究路線源自 Diego Córdoba 與 Luis Martínez-Zoroa 的工作。Buckmaster 也記錄 9 月初與 OpenAI 的通話：他被告知 OpenAI 內部模型得到 forced Navier–Stokes 證明，並主張 OpenAI 在得知兩人研究進展後才送出第一個 prompt；他另描述作者署名與是否排除 Alpöge 的爭議。Buckmaster 明確表示，他沒有看過 OpenAI 證明、不知道資料是否被使用，也沒有指控任何一方已被證明挪用成果。³

Terence Tao 在 Mathstodon 的公開貼文把事件放在研究生態層次解讀：即使只是研究進展的傳聞，也可能觸發大量 AI 算力，在原研究計畫完成前先把問題「壓平」，進而改變研究者分享未完成成果的誘因。這是 Tao 的觀察與規範性警告，不是本輪可獨立驗證的因果研究。⁴

Primary-source checks during ingest

以下來源在本次 ingest 中實際讀取，作為 claim tracing 參考；未另存完整 response payload：

• BusinessNext 92182：支持本文標題、作者、發布／修改時間與二手整理內容；來源分類為 secondary synthesis。
• OpenAI〈On the Navier–Stokes Millennium Prize Problem〉（2026-09-08，經 web_extract）：支持 OpenAI 對 forced Navier–Stokes、選項 C／D、約 10,000 agents、88 小時、17 小時 Lean 驗證、token／message 規模、傳聞觸發研究與資料使用否認／保留說法。
• Tristan Buckmaster statement：支持 Buckmaster 對私人合作、Claude／Codex 使用、2026-08-15／08-22 研究里程碑與 9 月通話內容的第一手敘述；不等於對 OpenAI 證明或資料使用爭議的獨立裁決。
• Terence Tao Mathstodon 貼文：支持 Tao 對「傳聞可能觸發 AI 算力搶先完成」的公開觀察；屬個人評論，不是實證研究。

Claim ledger

ID	Source claim	Status	Owning evidence and boundary
C01	BusinessNext 92182 的標題、作者李先泰、發布／修改時間為 2026-09-09T17:00:00+08:00，且頁尾自述初稿為 AI 編撰。	supported	BusinessNext JSON-LD 與頁面 metadata；只代表文章本身，不代表其報導內容已獲獨立驗證。
C02	OpenAI 宣稱內部系統產生 forced 3D Navier–Stokes 奇異性證明，並對應 Clay 問題選項 C／D。	supported（as vendor claim）	OpenAI 官方發布頁直接支持；數學界獨立接受與 Clay 獎項資格仍 unresolved。
C03	約 10,000 個 agents、88 小時得到結果、17 小時 Lean formalization／verification、4.9M／300B 與 2.7M／130B 的訊息／token 數字。	supported（as vendor claim）	OpenAI 官方發布頁直接支持；分母、計算口徑、成本與可重現性未獨立核算。
C04	OpenAI 在聽到傳聞後啟動研究，並表示沒有存取特定使用者資料，但不能完全排除去識別化資料間接改進模型。	supported（as company statement）	OpenAI 官方發布頁直接支持；不等於已證明資料完全未影響，也不等於已證明有資料挪用。
C05	Buckmaster／Alpöge 的私人合作在 2026-08-15 取得 smooth-forcing 的 Boussinesq／Euler 結果，2026-08-22 通過 Lean 驗證。	supported（as first-person statement）	Buckmaster 公開 PDF 直接支持；本輪未另行審查 Lean artifact 或論文正確性。
C06	Buckmaster 所述 OpenAI 得知研究進展後才送出 prompt、通話中的 forced Navier–Stokes 敘述，以及排除 Alpöge 的作者署名爭議。	partially-supported（disputed first-person account）	Buckmaster PDF 提供第一手敘述；OpenAI 官方頁提供不同版本的時間／接觸描述，Bubeck 的 X 貼文本輪未以互動平台讀取，爭議未裁決。
C07	OpenAI 的 Navier–Stokes 證明已獲數學界獨立接受。	unresolved	BusinessNext 明確記錄截至 2026-09-09 仍待獨立審查；本輪未找到可替代的獨立驗證結論。
C08	Tao 認為「研究進展的傳聞」可能觸發大規模 AI 算力，形成搶先完成與降低分享意願的誘因問題。	observational	Tao Mathstodon 貼文支持其公開觀察；不構成一般化因果證明或量化研究。
C09	OpenAI 表示不打算申請 Clay Millennium Prize。	supported（as company statement）	OpenAI 官方發布頁直接支持；不代表該證明已符合獎項審查門檻。

Evidence boundary

截至 2026-09-09 UTC，本筆能支持的最小結論是：BusinessNext 報導了一場由 OpenAI 公開宣稱、並與 Buckmaster／Alpöge 公開聲明交疊的 Navier–Stokes 研究與優先權爭議；OpenAI 確實公開了自己的證明、Lean 形式化與多代理工作流說法，Buckmaster 也公開了私人合作與通話經過，但 OpenAI 證明是否已獲數學界獨立接受、研究資料是否曾被模型使用、以及作者署名爭議的完整事實關係，仍未在本輪獲得獨立裁決。未加入 verified；本輪只有 process-level source checks，沒有 AI 數學證明重現、Lean repo 重跑、第三方專家審查或人類獨立驗證。

Rights boundary

BusinessNext article、OpenAI 發布頁、Buckmaster PDF、Mathstodon 貼文及其圖片／附件均為外部著作或外部平台內容。本次僅保存 metadata、faithful summary、claim ledger、必要的 claim-tracing 連結與證據界線；未保存全文、HTML、PDF、圖片或其他 payload。canonical links 是後續查核入口，來源 ingest 指示不等於取得重製授權。

Footnotes

1. BusinessNext〈1萬個AI代理解開90年數學難題！OpenAI為何反遭學者控「搶研究」？〉（李先泰整理編輯，初稿 AI 編撰），2026-09-09；canonical URL：https://www.bnext.com.tw/article/92182/openai-navier-stokes-proof-buckmaster-dispute。 ↩

2. OpenAI〈On the Navier–Stokes Millennium Prize Problem〉，2026-09-08；https://openai.com/index/navier-stokes-solution/。 ↩ ↩² ↩³

3. Tristan Buckmaster, statement PDF，2026-09-07；https://cims.nyu.edu/~tristanb/statement.pdf。 ↩

4. Terence Tao, Mathstodon post，2026-09-08；https://mathstodon.xyz/@tao/117237320796901560。 ↩