[問卦] 用ai解百年數學難題賺獎金有沒有搞頭

[xapp (xapp)]

今年以來已經有累積大量的數學難題被ai解掉

其中不少是由openai或是antropic廠商自己解開

至於學界、民間解開的有沒有用到ai則不得而知

其中不少是獎金題

以下是幾個被AI攻克的代表性難題：

80年“平面單位距離猜想”：2026年5月，OpenAI的一個通用推理模型自主推翻了這一難題，突破了人類基於規則幾何結構的經驗性直覺，並揭示了代數數論與離散幾何之間的意想不到的聯繫。菲爾茲獎得主蒂莫西·高爾斯評價：“此前沒有任何AI生成的證明能接近這個水準。”

30年“Dinitz-Garg-Goemans猜想”：2026年7月，一位研究者通過僅58個單詞的提示詞，讓GPT-5.6 Pro找出了一個反例，推翻了這個圖論領域的猜想。

近30年圖論猜想：在同一时期，有研究者利用GPT-5.6 Sol配合Codex工作流，在5天之內解決了6道此前標記為“開放”的Erd  s問題。

87 年歷史的 Jacobian Conjecture（Jacobian 猜想）重大突破

這是最近最受關注的一件。

哈佛數學家 Levent Alpöge 與 Anthropic 的 AI 模型 Claude Fable 合作。
他們找到了一個反例（counterexample），推翻了 1939 年提出的 Jacobian 猜想。
數學家已經開始驗證這個證明，目前已有不少專家認為結果正確，但仍會經過正式的同行審查。

量子物理學界jamming（顆粒壅塞） 理論中的數學證明

如果用ai解數學難題賺獎金有沒有搞頭？

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.205.66.250 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1784891520.A.426.html
推 orze04: 你要有能力驗證AI的解答
叫ai驗證
※ 編輯: xapp (123.205.66.250 臺灣), 07/24/2026 19:17:34
推 StarTouching: AI學家和數學家已經在做了 輪不到你
推 chienyu1: 最近不是有什麼猜想被AI解了嗎？
推 orze04: 一般人光是要理解題目就很難了
推 cccon1ine: 理解問題的引用證明也是一座山
推 Richun: AI會說AI是對的，你發文章出去直接被退件
推 icome: 這當中都有專家介入引導 光靠ai不見得解得
→ Richun: 再來會看到有人發廢文說數學家都不懂證明
→ icome: 出
推 arrenwu: 這個已經是現在進行式，只是是數學家在
→ arrenwu: 進行。
→ arrenwu: 沒有能力看懂證明的根本不可能用
推 Richun: 據說數學界有些論文的式子會有小錯誤，但
→ Richun: 因為同一領域都是同門的，也不好特別發篇
→ Richun: 論文出來只打一小部分的臉，所以都會自己
→ Richun: 記得這個結論要怎麼修正。不過AI學下去有
→ Richun: 沒有這個修正能力我不確定，但如果連那個
→ Richun: 用AI的人都不會修也不知道要修的話就…
→ arrenwu: @Richun 這個顧慮是...有的XD
→ arrenwu: 通常可以私底下寄信告知對方
→ arrenwu: 除非是那個錯誤大到證明的結論是錯的
→ arrenwu: 不然多半不會特別公開發一篇文章就只是
→ arrenwu: 說明那不對。
→ Richun: 所以會變成這領域的都知道那邊有bug，而且
→ Richun: 後面發的文章都會假定大家都知道要怎麼修
→ Richun: ，最後變成領域外的除非自己手推過，不然
→ Richun: 不會知道那邊有bug。跨領域時就有機會出包
→ arrenwu: 通常定理的結論不會錯啦 所以其他人直接
→ arrenwu: 引用結論通常沒啥問題。有差別的情況是
→ arrenwu: 可能有人打算延伸該paper的證明手法
→ arrenwu: 但這樣的人如果自己沒有手推過原證明那
→ arrenwu: 就實在是非常不應該的事情
推 RINPE: 哇 你好聰明喔 全世界就只有你想到 噗
→ yunf: 通常定理都是等人來挑戰的
推 shala: 做就對了