OpenAI 一天丟出 722 份數學手稿，裡面一份動到 160 年沒人解開的黎曼猜想

2026 年 10 月 6 號，OpenAI 在 GitHub 上一次丟出 722 份數學手稿， 歸成 372 項結果，PDF 加起來 1,347 頁，平均一題 54 頁。 裡面有一份，動到了 1859 年提出、到今天超過 160 年沒人解開的黎曼猜想。 同一年五月，一個 1946 年的猜想被推翻了。80 年來沒有人推翻它。 推翻它的是一個模型。 這支影片把這件事從頭查了一遍，資料全部來自一手來源： ・一個英國數學家 Thomas Bloom 在 2023 年做的個人網站， 　把保羅・艾狄胥一輩子提出的 1,221 題整理成資料庫 ・2025 年 12 月，兩個二十出頭的年輕人在那個網站的留言區貼出第 333 題的證明， 　結果發現艾狄胥本人在 1977 年就給過答案 ・2026 年 1 月 4 號，有人用模型解開了第 728 題 ・一個 24 人的團隊讓模型掃過資料庫裡 700 個還沒解的猜想， 　在 353 題裡找到可用的結果 ・5 月 20 號，那個 1946 年的猜想被推翻——80 年來大家都信它 10 月 6 號那 722 份裡，跟艾狄胥有關的是 25 題，其中 21 題通過了形式化驗證。 黎曼猜想那一份 199 頁，把一個關鍵常數夾到 1/12 到 11/12 之間——但只有 49 頁是新的。 數學家已經用電腦驗過前 12 兆個點。但驗到 100 兆也不叫證明。 一個普林斯頓的數學家，解了一輩子這類題目，今年宣布不解了。 他的原話：「一旦 AI 開始解這些題，就沒意義了。」 最後那段，是一個在客服公司上班的業餘愛好者說的，我覺得是整件事裡最好的一句： 如果你想彈鋼琴，你不會去雇一台彈得比你好的鋼琴機器。 資料來源 Quanta Magazine 2026-08-03、2026-10-19 Thomas Bloom 2026-10-08 的清點 erdosproblems.com（2026-10-26 查） OpenAI 在 GitHub 公開的手稿 每一個數字都可以自己點進去查。跑出不一樣的，回來跟我說一聲。 Telegram 群組（免費，沒有老師、不帶單） https://t.me/+doHFbjixZB80ZTg1 章節 00:00 開場 00:32 一個人的網站 01:26 聖誕節早上 02:18 八十年的猜想 03:40 七百二十二份 04:17 一百六十年 06:01 那個傳言 06:33 他們真正在怕的 07:27 總結 #AI #數學 #OpenAI #黎曼猜想 #艾狄胥 #人工智慧 #ChatGPT #數學難題 #科普 #AI應用