Claude Mythos 據稱複現了 OpenAI 的埃爾德什幾何證明
anthropic 的 claude mythos 模型據稱解決了 openai 最近破解的 erdős 單位距離猜想,使用了一種獨特且簡單的證明方法。
Anthropic 工程师 Sholto Douglas 报告称,Claude Mythos 已经解决了 OpenAI 具有里程碑意义的 Erdős 单位距离猜想(Erdős unit-distance conjecture),取得了 OpenAI 最近才取得的成果。该系统利用独立的 Claude 代码实例来开发和汇总解决方案路径,发现了一种新颖的“简单而巧妙的证明”以及 OpenAI 现有的解决方案。数学家 Daniel Litt 认为该结果比 OpenAI 的略微不那么最优,但注意到独立发现该替代路径仍然具有重要意义。这强化了人工智能在高级推理能力方面存在的“严重差距”(serious overhang)。