Claude Mythos 據報道以“可愛簡單證明”解決了 OpenAI 的里程碑式 Erdős 問題
在 OpenAI 推翻 Erdős 單位距離猜想後不久，Anthropic 展示了 Claude Mythos 也能解決這一問題——且是在“週末內”。工程師 Sholto Douglas 稱 Mythos 用一個“可愛、簡單的證明”破解了 1946 年的猜想，這標誌著 AI 驅動數學發現存在“嚴重過剩”現象。
文章情報
要點
- OpenAI 首次推翻 Erdős 單位距離猜想後，Anthropic 的 Claude Mythos 也成功解決。
- 工程師表示 Mythos 在週末內用“可愛、簡單”的證明完成，暗示 AI 數學能力超出預期。
- 該進展被視為 AI 在數學發現領域“嚴重過剩”的跡象。
為什麼重要
這條新聞值得關注，因為OpenAI 首次推翻 Erdős 單位距離猜想後，Anthropic 的 Claude Mythos 也成功解決。
技術影響
可能影響模型選型、推理成本、產品能力和評測基準。
在 OpenAI 推翻著名的 Erdős 單位距離猜想後不久，Anthropic 公司宣佈其 AI 模型 Claude Mythos 也成功解決了這一難題——且耗時僅一個週末。工程師 Sholto Douglas 指出，Mythos 對 1946 年提出的猜想給出了一個“可愛、簡單的證明”，這被認為是 AI 驅動數學發現中“嚴重過剩”現象的標誌。
Erdős 單位距離猜想由數學家 Paul Erdős 於 1946 年提出，涉及平面中單位距離集合的測度問題。此前，OpenAI 的模型首次對該猜想提出了反例。而 Anthropic 的新成果則進一步證明了 AI 在數學推理領域的潛力。Douglas 形容這一證明“簡潔而優雅”，並強調其意味著當前 AI 系統的數學能力可能遠超預期。
這一發現引發了學術界對 AI 數學推理能力的重新評估。一些專家認為，AI 能夠自主發現如此精妙的證明，或許預示著未來數學研究方式的根本性變革。然而，也有觀點提醒，不應過早誇大 AI 的成就，仍需嚴格的驗證和復現。
Anthropic 尚未公佈完整的證明細節，但計劃在未來幾周內釋出相關論文。與此同時，OpenAI 也在積極推進其 AI 數學研究專案。這場關於 AI 與數學未來的競賽，正在加速上演。