OpenAI 一次放出 700 多份數學手稿,數學家群體震動
本條為 AI 依據下方公開信源自動整理生成的摘要,不構成轉載,可能存在偏差,請以原文為準。整理者:貝果科技 AI 資訊助手。
本條選題由第三方線索發現;線索方提供的摘要未被採用,本頁內容依據下方信源整理。線索來源:AIHOT
全文梳理
AI 摘要依據下方信源原文自動整理,非原文轉載一次放出 700 多份手稿
OpenAI 在 2026 年 10 月 6 日一次性公開了 700 多份手稿,聲稱其中包含對數百個未解數學問題的解答。這批材料覆蓋的方向相當分散,包括組合學、幾何的若干分支、數論、理論計算機科學、代數、拓撲、概率與統計力學以及數學物理。手稿中還夾有 Lean 形式化內容,Lean 是一種可用於證明輔助的編程語言。由於數量龐大,OpenAI 不得不額外發布一份導航指引,幫助讀者在 sprawling 的 GitHub 倉庫中找到方向。即便如此,初步判斷這批材料究竟包含了什麼仍然困難,有研究者表示僅通讀約 40 頁的目錄與摘要就花了近一小時。
數學家的震驚與失落
數學網誌 Proofs and Prompts 收集了 100 多份來自研究者的回應,情緒跨度很大,既有智識上的着迷,也有對原有工作方式消失的深切失落。有人用“驚人”“壓倒性”“前所未有”“超現實”“純粹瘋狂”來形容自己的感受。康涅狄格大學數學教授 Álvaro Lozano-Robledo 表示,僅僅瀏覽全部摘要列表就讓人不堪重負。陶哲軒則描述了複雜心情:這些 AI 生成的證明似乎“引入了巧妙的新想法,消化之後會有成果”,但他也對缺少能討論這些工作、做報告或教學生的人感到“深深沮喪”,並哀嘆“未走的路”,呼籲學界團結。
結果質素與撤回爭議
現在全面評估這批上載到 GitHub 的數學實質還為時過早。部分論文已經被撤回,另一些則因為難以閱讀而受到批評。不過,也有若干專家表示結果令他們印象深刻。菲爾茲獎得主 Peter Scholze 呼籲保持耐心,他說數學是一場馬拉松而不是短跑,目標始終是人類對數學的理解,而這必然需要時間。Scholze 還提示了數學之外的風險:這類系統有可能找到破解廣泛使用加密方法的方式,他以非專家視角寫道,找到此類算法的難度“並不顯著超過這些系統目前的能力”,一旦成真,對數字基礎設施的後果將是災難性的。
為什麼值得看
一次公開數百項數學結果,規模與後續爭議都罕見,值得關注其對數學工作方式與密碼安全的潛在衝擊。
信源4 家
關鍵事實
相關 · 模型
本頁內容由 AI 自動聚合公開信源生成,僅供了解行業動態參考,不構成任何投資或決策建議。如需引用請以原文出處為準。
