OpenAI 公開七百多篇 AI 數學論文：解決了什麼、驗證到哪裡

OpenAI 公開七百多篇 AI 數學論文：解決了什麼、驗證到哪裡 OpenAI 在 GitHub 放上七百多篇由內部模型做出的數學論文。這一集只問兩個問題：它們解決了什麼，又驗證到哪裡。先看 OpenAI 為什麼要做這件事，再用比喻走過四道題：圓周率能不能被分數「特價」逼近、Erdős 的等差數列猜想、黎曼猜想的八分之七圍籬、千禧年難題 Hodge 猜想；最後看電腦檢查（Lean）做到哪裡，以及 Ellenberg、Buzzard、Sutherland、Litt、陶哲軒五位數學家的初步看法。 章節 00:00 開場：解決了什麼、驗證到哪裡 00:39 為什麼做：舊的數學考卷已經寫完了 02:10 信任問題：IAS 數學與 AI 顧問團 03:49 解決了什麼：十七個領域的地圖與證據鏈 05:21 圓周率的「特價品」與 Erdős 等差數列猜想 07:16 黎曼猜想的八分之七圍籬與 Hodge 猜想 10:31 驗證到哪裡：同儕審查與 Lean 12:44 健康檢查報告：六成多有 Lean 13:40 數學家怎麼看：Sutherland、Litt、陶哲軒 14:51 結論：解決了什麼、驗證到哪裡 說明：片中「OpenAI 說」的結果都是 OpenAI 自己的宣稱，截至錄製時（公開後約一天）尚未經同儕審查；Lean 檢查的範圍以 repo 說明為準，人工審查欄位標為未檢查。片中的網頁與論文畫面取自上列公開來源，版權屬原作者。 📎 資料來源 • OpenAI：Sharing AI progress in mathematics（2026-10-06） https://openai.com/index/sharing-ai-progress-in-mathematics/ • GitHub：openai/math（README、overview.pdf、論文、Lean 形式化） https://github.com/openai/math • openai/math：Lean 形式化清單 formalization.yaml https://github.com/openai/math/blob/main/lean/formalization.yaml • OpenAI：Advisory Group on Mathematics and Artificial Intelligence（2026-09-21） https://openai.com/index/advisory-group-on-mathematics-and-ai/ • 數學與人工智慧顧問團（設於 IAS） https://agmai.org • 顧問團：發布 AI 數學成果的建議（2026-09-29） https://agmai.org/general-sep29/ • 顧問團：對 OpenAI 這次發布的聲明（2026-10-06） https://agmai.org/statement-oct6/ • Scientific American：OpenAI unleashes hundreds more math results upon a field already in shock（2026-10-06） https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/ • 陶哲軒（Mathstodon）串文（2026-10-06） https://mathstodon.xyz/@tao/117395267721642920 • Quanta Magazine：Deluge of OpenAI proofs bewilders the math world（2026-10-06，Jordan Ellenberg 引言） https://www.quantamagazine.org/updates/transformation/ • Kevin Buzzard（Xena 部落格）：To grieve, or not to grieve?（2026-10-01） https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/ • 公開信：A Severe Misalignment of AI in Mathematics https://mathandai.org/ • OpenAI 開發者論壇：獨立編譯 Lean 證明的回報 https://community.openai.com/t/first-look-at-mathematics-manuscripts-from-an-internal-frontier-model-at-openai/1403886 • Lean 定理證明器 https://lean-lang.org/ • Mathlib（Lean 數學庫） https://github.com/leanprover-community/mathlib4 • Clay Mathematics Institute：The Hodge Conjecture https://www.claymath.org/millennium/hodge-conjecture/ • Clay Mathematics Institute：The Riemann Hypothesis https://www.claymath.org/millennium/riemann-hypothesis/ --- Jim AI Notebook | Note the Future 每日深度解析 AI 最新進展 #OpenAI #AI數學 #黎曼猜想 #Hodge猜想 #圓周率 #Lean #形式化證明 #陶哲軒 #IAS #Erdős #AI新聞 #JimAINotebook