2026年5月27日 03:31

Claude Mythos、Erdős予想を週末に証明

Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"

3行まとめ

OpenAIが先日、数学者ポール・エルデシュが1946年に提唱した単位距離予想を反証したと発表した。これは長年未解決だった著名な数学問題で、AIによる数学研究の成果として注目を集めていた。

Anthropicのエンジニアであるショルト・ダグラス氏によると、同社のClaude Mythosも「週末のうちに」同じ予想を解いたという。証明は「かわいくシンプル」な内容で、OpenAIとは異なるアプローチで導出された。複数のフロンティアモデルが独立に同じ難問を解いた形となる。

ダグラス氏はこの結果を「AI主導の数学発見における深刻なオーバーハング（潜在能力の過剰蓄積）」のサインと表現した。AIが未解決の数学問題を短時間で次々と解く時代に入りつつあることを示しており、研究分野での活用が加速する見通しだ。

Claudeが高度な数学問題を週末で解いた事例として、AI研究支援の実用性を示す指標になる。