Claude Mythos 據報道以“可愛簡單證明”解決了 OpenAI 的里程碑式 Erdős 問題

在 OpenAI 推翻 Erdős 單位距離猜想後不久，Anthropic 展示了 Claude Mythos 也能解決這一問題——且是在“週末內”。工程師 Sholto Douglas 稱 Mythos 用一個“可愛、簡單的證明”破解了 1946 年的猜想，這標誌着 AI 驅動數學發現存在“嚴重過剩”現象。