5月26日、AnthropicのエンジニアであるSholto Douglas氏はXプラットフォームで、最新モデルであるClaude Mythosが「巧妙かつ簡潔な証明」を通じて組み合わせ幾何学分野の100年以上の歴史的な難問であるErdős単位距離予想を解決したことを発表しました。この進展は、OpenAIが最近GPT-5.5を用いてこの画期的な数学的課題を克服した直後であり、頭部AIベンチャーが純粋数学の発見分野での競争が激化していることを示しています。

QQ20260527-091235.jpg

この突破は、従来の単一モデルとは異なるインテリジェントエージェントの協調パターンを示しています。チームは、複数の独立したClaude Codeインスタンスを含む自動テストシステムを構築したとされています。このシステム内では、Mythosへのアクセス権を持つエージェントインスタンスが問題を受け取り、さまざまな解決経路を生成し、その後別のインスタンスがまとめ、他の独立して動作するインスタンスに配信して交叉検証を行います。

数学家のDaniel Litt氏は、Mythosの初期結果が「やや劣る」と評価しましたが、最終的にはOpenAIと同じ解決経路を見つけて、独自の創意工夫をもとにしたより簡略化された証明を独立的に導き出しました。現在、AnthropicはOpus4.7によって整理された証明バージョンを正式に公開しています。

この進展は、「純粋な大規模言語モデル（LLM）」と「記号推論補助システム」の発展ルートに関する業界の議論を再び引き起こしました。以前には、グーグルのDeepMindがAlphaProof Nexusシステムを使って9つのErdős問題を解決したと発表しましたが、Lean形式化プログラミング言語に強く依存していたため、生成型AIにおける自律的推論の価値について議論を巻き起こしました。

これに対し、Claude Codeはインテリジェントエージェント（Agent）フレームワークとして、多エージェント協働により人類の最高レベルの科学的課題を解決しようとしています。現在、AI分野は劇的なパラダイム変化を undergoing しており、フィールズ賞受賞者は近日、ChatGPT5.5Proが2時間以内に博士課程レベルの数学的研究を自律的に完了できることを確認しています。Claude MythosとGPT-5.5がアルゴリズム発見やシステムの脆弱性利用などの前線領域で自律的な進化能力を示す中、AIは当初の「プロンプト工学」段階から、深い論理的推論と科学的探求能力を持つ自律的なインテリジェントエージェント時代へと全面的に移行しています。