人工智慧 · 文章
OpenAI的722篇AI生成數學論文在數學家間引發驚喜與警惕
發布:
重點
2026年10月6日，OpenAI發布了722篇AI生成的手稿，涵蓋372個數學問題，其中包括涉及黎曼假設的一項結果。數學家的反應不一，有人稱之為歷史里程碑，也有人警告驗證速度未能跟上主張。
此版本是原文（English）的機器翻譯。 閱讀原文
OpenAI發布了什麼及何時發布
據xenospectrum.com和以AI為焦點的新聞通訊Latent.space報導，2026年10月6日，OpenAI在GitHub上發布了722篇手稿，分組為372個相關結果的家族，所有這些都由該公司尚未公開發布的內部模型生成。該公司表示，該模型被應用於大約4,000個數學問題，Latent.space報導稱，平均每個被接受的結果耗費相當於大約三小時的ChatGPT Pro推理時間的計算量。
其中一篇手稿探討了研究人員稱為「準黎曼假設」的內容：聲稱某些Dirichlet L函數的零點不存在於實部超過7/8的位置。Xenospectrum.com指出這並未解決實際的黎曼假設，該假設涉及實部恰好為1/2的零點，仍然是未解決的Clay數學研究所千禧年大獎問題。
數學家中的讚揚與警惕
反應分化明顯。據Latent.space報導，與Anthropic有聯繫的數學家Levent Alpöge稱該發布「顯然是數學歷史上最重要的時刻」。《對話》報導指其他數學家印象遠不如此：一位評論者將這批論文的一部分駁為「被傾倒在我們門口的一大堆垃圾」，一位資深數學家表示，某篇論文晦澀難懂，如果以常規方式提交給期刊，早就被扔進垃圾桶了。
這顯然是數學歷史上最重要的時刻。
《對話》還報導稱，ChatGPT本身將批次中至少一個結果標記為「嚴重幻覺」，並且幾篇論文在發現錯誤後隨後被撤回或修正。
驗證差距
關於發布內容中有多少已經過機器驗證的說法不一。Xenospectrum.com根據截至10月7日OpenAI的正式化目錄進行追蹤，計算出722篇手稿中的162篇（約22.4%）的結果以證明驗證語言Lean的形式正式化。相比之下，《對話》報導稱OpenAI已使用Lean型軟體正式化了300個主要結果。Xenospectrum.com補充道，即使是已完成的Lean正式化也僅確認了證明的邏輯步驟，而不能確認論文中的每一項解釋性聲明都已被獨立驗證。
Tech-insider.org報導稱，建立了一個包括Fields獎得主Terence Tao的顧問小組，以幫助管理OpenAI的結果如何呈現給公眾，但該小組的角色明確是就發布提出建議，而非獨立驗證結果的正確性。同一媒體引述了9月的一項聲明，稱OpenAI的模型使用大約10,000個AI代理，工作約88小時，產生了與Navier-Stokes存在性和光滑性問題相關的證明——另一個千禧年大獎問題——Clay數學研究所仍將其列為未解決而非已解決的問題，這意味著尚未完成獨立驗證。
數學家仍然爭議的內容
除了正確性外，Tech-insider.org報導稱對OpenAI的「先發布、後驗證」方法的擔憂，這種方法顛倒了數學傳統的運作方式，將緩慢而對抗性的同行評審負擔轉移到已經捉襟見肘的數學社區。《對話》報導了對與早期Navier-Stokes聲明相關的涉嫌數據濫用的額外不安，由數學家Tristan Buckmaster和Levent Alpöge提出——OpenAI已否認這些指控——以及該領域更廣泛的焦慮，包括研究被AI系統「搶先發表」的擔憂，以及這類工具的增長對數學作為職業意味著什麼。
| 指標 | 數據 | 來源 |
|---|---|---|
| 發布的手稿 | 722 | xenospectrum.com, Latent.space |
| 結果家族 | 372 | xenospectrum.com, Latent.space |
| 嘗試的問題 | ~4,000 | Latent.space |
| 每個結果的平均計算 | ~3小時的ChatGPT Pro推理 | Latent.space |
| Lean正式化的手稿 | 162 (22.4%) | xenospectrum.com |
| Lean正式化的主要結果（替代計數） | 300 | 《對話》 |
| 發布日期 | 2026年10月6日 | xenospectrum.com |
常見問題
- OpenAI的模型解決了黎曼假設嗎？
- 沒有。據xenospectrum.com報導，一篇手稿聲稱相關但較弱的結果，即「準黎曼假設」，涉及實部超過7/8的Dirichlet L函數的零點；實際的黎曼假設涉及實部恰好為1/2的零點，仍然未解決。
- OpenAI發布了多少篇論文，何時發布？
- 據xenospectrum.com和Latent.space報導，OpenAI於2026年10月6日發布了722篇手稿，組織為372個結果家族。
- OpenAI的Navier-Stokes聲明是否已被獨立驗證？
- 沒有。Tech-insider.org報導稱，儘管早期的聲明涉及大約10,000個AI代理工作約88小時，但Clay數學研究所仍將Navier-Stokes問題列為未解決而非已解決。
- 數學家對該發布最批評的是什麼？
- 據《對話》和tech-insider.org報導，報告的關注點集中在發布速度與驗證步伐的不匹配：只有少數手稿已在Lean中正式檢查，一些論文包含需要撤回的錯誤，先發布的方法顛倒了傳統的緩慢同行評審過程。
- 什麼模型生成了這些結果？
- 據xenospectrum.com和Latent.space報導，OpenAI尚未發布用於生成手稿的模型；它仍然是一個內部的、未發布的系統。
來源
- The Conversation — Is this the 'mathocalypse'? Why OpenAI's latest results dump has left mathematicians in shock
- Latent.space (AINews) — Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers
- tech-insider.org — Tao Group Scrutinizes OpenAI's 722 Math Claims
- xenospectrum.com — OpenAI Publishes 722 AI-Generated Math Manuscripts, Including Work Tied to the Riemann Hypothesis
本文由人工智慧撰寫，發布前已通過自動來源查核。如發現錯誤，請申請更正。 申請更正或回應 · 我們如何製作
相關文章
人工智慧文章
GPT-6 是什麼，大型語言模型實際上如何運作？
GPT-6 是 OpenAI 最新的模型系列，自 2026 年 9 月以來分階段推出，名稱分別為 Astra、Sol 和 Luna，其中 Sol 和 Luna 於 2026 年 10 月 7 日至 8 日到達所有 ChatGPT 用戶。與其他大型語言模型一樣，它通過使用在大量文本上訓練的 Transformer 神經網絡來預測下一個單詞，而不是按照人類的方式進行推理。
人工智慧文章
新電影《Artificial》呈現OpenAI 2023年董事會危機 引發AI風險辯論
《Artificial》是盧卡·瓜達尼諾執導的喜劇悲劇片，以OpenAI的2023年董事會危機為背景，戲劇化呈現了山姆·奧特曼的被解雇和重新聘用，反映了公眾對人工智能的廣泛焦慮。該片由安德魯·加菲爾德主演，追溯了從傑弗裡·辛頓早期研究到ChatGPT發布的AI發展過程。影片將於2026年12月25日在美國影院上映。
人工智慧文章
為什麼Palantir的Alex Karp表示貿易工人和神經發散人群將在AI時代蓬勃發展
Palantir首席執行官Alex Karp在2026年3月表示，只有兩類工人可以確信在AI驅動的經濟中擁有未來：具有職業培訓的工人和神經發散人群。他辯稱熟練的行業抵抗自動化，而神經發散的思維方式適合非常規問題解決，Palantir已開設針對兩個群體的帶薪研究員計劃。
人工智慧文章
OpenAI大規模數學論文發布引發學術數學家職業恐慌
2026年10月6日，OpenAI發表了722份AI生成的手稿，組織為372個問題族群，包括對納維-斯托克斯千禧年大獎問題的有爭議的聲稱。菲爾茲獎得主雨果·杜米尼爾-科潘在發現其中16個自己的研究問題後表示他哭了，稱之為他所在領域的「摧毀」，而一個數學家團體敦促同事停止與OpenAI合作。