AI 一次交出 372 項數學結果 1500 萬美元請數學家核實

AI 一次過交出 372 項數學結果，連 OpenAI 自己的數學家都未完全讀懂。OpenAI 10 月 6 日公開一個未發布模型產生的 372 項結果，包括四維 Kakeya 猜想的證明，數學界需要數月消化。Simons Foundation 10 月 15 日宣布聯同 OpenAI 及 Anthropic 投入 1,500 萬美元，資助數學家檢視及使用 AI 證明，OpenAI 出資 500 萬美元並提供算力。MIT 數學家 Andrew Sutherland 表示，模型公開之前，這些結果應視為未經核實。

Moby Dick2026年10月16日 01:46 HKT閱讀 3 分鐘

Simons Foundation 聯同 OpenAI 及 Anthropic 推出 1,500 萬美元計劃

Simons Foundation 2026 年 10 月 15 日宣布，與 OpenAI 及 Anthropic 合作，合共投入 1,500 萬美元資金及資源，協助數學家檢視、理解及延伸由 AI 產生的數學結果。OpenAI 表示其中 500 萬美元由該公司出資；基金會未有公布三方各自的份額。

資金由 Simons Foundation 管理及頒發，包括公開徵集計劃書，用途包括：

用途	內容
工作坊及會議	協助研究人員評估近期由 AI 輔助的數學結果
工具培訓	學習及使用新的 AI 工具
共同標準	建立數學界使用 AI 的規範
算力	OpenAI 及 Anthropic 向基金會資助的研究人員提供模型及運算資源

Simons Foundation 主席 David Spergel 表示：「應該由社群帶領討論這些工具如何被評估、採用及使用。」基金會過去曾資助 Lean 證明輔助程式的開發，Lean 是一種檢查證明邏輯的程式語言，令 AI 輔助證明成為可能。

起因：OpenAI 一次過公開 372 項結果

這筆資金出現之前，數學界剛經歷一次衝擊。據《Scientific American》報道，OpenAI 在美國東岸時間 2026 年 10 月 6 日晚上（香港時間 10 月 7 日早上）把一個未公開模型產生的 372 項結果放上 GitHub，每項都聲稱解決或大幅推進一條數學或理論電腦科學的重要難題，包括四維 Kakeya 猜想的證明，以及黎曼猜想方面的進展。不少結果已用 Lean 驗證。

OpenAI 發言人表示，幾乎每項結果都是單一 AI 代理收到一個提示後產生，而公司自己的數學家亦未完全理解其中不少結果。OpenAI 當日在公布結果的文章中，同時承諾向 Simons Foundation 的新計劃出資 500 萬美元。

數學界的反應：「令人屏息」與質疑並存

據《紐約時報》10 月 8 日報道，Rutgers 大學數學系主任 Alex Kontorovich 認為其中一項證明可以說值得數學界最高榮譽；Clay 數學研究所所長、牛津大學數學家 Martin Bridson 形容 OpenAI 的發布「令人屏息」。

質疑同樣存在。MIT 數學家 Andrew Sutherland 對《Scientific American》表示「我們應該要求收據」，認為在模型公開、結果可以重複之前，單一代理一次產生的結果應視為未經核實。Terence Tao 曾公開批評 AI 實驗室發布結果的速度「瘋狂」。OpenAI 在 2026 年 9 月 21 日成立的數學家顧問小組，亦建議公司公開模型、確切提示及每項結果的運算時間；OpenAI 目前只公布每題平均運算時間。

數學家要花數月消化

《Scientific American》指，數學家需要數月時間判斷這些證明是否包含新穎而重要的想法，抑或主要是把現有技巧拼合。Simons Foundation 的計劃，資助的正是這部分工作：由人去讀懂、核實及使用 AI 寫出的證明。

來源

Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era（原始公告）
OpenAI unleashes hundreds more math results upon a field already in shock（Scientific American）
Mathematics Reels After New OpenAI Release（紐約時報）

1997 年今日 NASA 發射 Cassini，載 33 公斤鈽飛往土星

1997 年 10 月 15 日，NASA 送 Cassini 飛往土星，機上載着約 33 公斤鈽 238，是當時送上太空最多的一次。發射前約 500 人到卡納維爾角示威，擔心火箭爆炸令鈽散落。Cassini 在 2004 年抵達土星，成為第一部環繞土星的探測器，放出的 Huygens 在 2005 年降落土衛六。它繞土星 294 圈、拍下 453,048 張照片，發現土衛二冰層下有海洋。2017 年燃料將盡，NASA 令它衝入土星焚毀，以免污染兩顆衛星。

AI 代理解未發表理論物理難題 GPT-6-Astra 答對 98%

50 條未發表的理論物理難題，OpenAI 的 AI 代理答對 49 題，每題成本約 2 美元。35 名物理學家在 arXiv 發表 TheoPhysEval 測試，題目由各領域專家出，世界級專家解一題約需一天或更短。在 Codex 上運行的 GPT-6-Astra 準確率 98%，Anthropic 的 Opus 5.5 答對 46 題。不准上網後，兩者都答對 46 題，論文認為模型已記住大量文獻。作者指代理會計算但不懂選題，暫時仍要人類定研究方向。

Microsoft Research：清空 AI 代理的對話紀錄，研究成績平均高 66%

清空 AI 代理的對話紀錄，它做研究的成績反而更好。 Microsoft Research 上周二（6 日）發表論文，指長時間自動做研究的 AI 代理會困在早期想到的方向，只顧反覆微調。同一個代理做同一條題目 8 次，最終得分由 68.3 至 100 不等，再加運算資源也追不回差距。研究員提出「Fork-and-Flush」：定時把代理分成 4 個副本，各自保留工作檔案，但清空對話紀錄重新開始，其後只留下得分最高的一個。在 13 項任務中，這個方法在相同運算預算下，平均得分較單一代理高 66%，較 4 個代理各自獨立運行高 44.4%。

熱門標籤