🍵 八卦
🌡️ 微溫
❓
用ai解百年數學難題賺獎金有沒有搞頭
▲ 10 推
▼ 0 噓
→ 24 回應
🔔 追這個瓜,別錯過後續
挑下面的關鍵字追蹤——只要 爆了、有後續 或 延燒,第一時間通知你
今年以來已經有累積大量的數學難題被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解數學難題賺獎金有沒有搞頭?
--