Anthropic 的 AI 模型 Claude Mythos 據報解決了 OpenAI 此前宣佈已解決的厄爾多斯單位距離猜想。這項在組合幾何領域自 1946 年以來懸而未決的難題，被 Anthropic 工程師 Sholto Douglas 形容為透過「巧妙簡潔的證明」達成，預示著 AI 在數學發現方面有著巨大的潛力。
重點文章
Mythos 獨特解題路徑
Anthropic 團隊採用了一套測試系統，讓獨立的 Claude Code 實例在具備 Mythos 存取權限下接收問題、開發解決方案路徑，並由一個實例總結後分發給其他獨立運作的實例。Mythos 在此過程中經常採取與 OpenAI 模型不同的解題路徑。數學家 Daniel Litt 雖然稱其結果「略遜一籌」，但據報 Mythos 也找到了 OpenAI 的解決方案。Anthropic 已發佈由 Opus 4.7 編寫的證明版本。
Google DeepMind 不同策略
Google DeepMind 近期也宣佈其 AI 輔助系統解決了九項厄爾多斯難題。然而，其方法依賴於形式化證明語言 Lean，這對於純 LLM（大型語言模型）支持者來說，可能顯得不那麼令人驚訝。不過，Claude Code 本身也是一種代理協作框架，並非純粹的 LLM。
