Claude が OpenAI の画期的なエルデシュ問題に「可愛く単純な証明」で解決したと報じられる（2 分読）

2026 年 5 月 26 日 **Anthropic の従業員らは、Claude Mythos が OpenAI の「AI 数学の画期的成果」も解決できると述べています。** OpenAI は最近、1946 年以来未解決だった組み合わせ幾何学におけるオープン問題である「Erdős 単位距離予想」を [反証しました](https://the-decoder.com/openai-shifts-the-boundary-of-automated-reasoning-with-a-milestone-in-ai-mathematics-that-experts-are-now-unpacking/)。Anthropic のエンジニア、Sholto Douglas は X で、Mythos がこれを「愛らしく、単純な証明」で解決したと書き込み、「AI 駆動の数学的発見における深刻な過剰能力（serious overhang）」の兆候であると指摘しました。 ![image](https://the-decoder.com/wp-content/uploads/2026/05/mythos_erdos_openai.png)[via X](https://x.com/_sholtodouglas/status/2059303540150137244) このチームは、[AI がエルデシュ問題 #1196 を解決した](https://the-decoder.com/openais-gpt-5-4-pro-reportedly-solves-a-longstanding-open-erdos-math-problem-in-under-two-hours/)後に構築されたテストシステムを使用しました。これは、Mythos にアクセス権を持つ Claude Code インスタンスが問題を受け取り、解決策の経路を開発し、その後 1 つのインスタンスがそれを要約して独立して作業する他のインスタンスに配布するという仕組みです。Mythos は OpenAI のモデルとは異なる経路を頻繁に取りました。数学者のダニエル・リット氏はこの結果について「OpenAI のものより少し劣る」と評しましたが、Mythos もまた OpenAI の解決策を見つけ出したと報じられています。Anthropic は、Opus 4.7 が準備した証明バージョンを公開しました（[PDF](https://www-cdn.anthropic.com/files/4zrzovbb/website/ca35f196125c899a5ad11f011080202a652aef02.pdf)）。 Google DeepMind も最近、AI 支援システムが [9 つのエルデシュ問題](https://the-decoder.com/google-deepminds-alphaproof-nexus-solves-decades-old-math-problems-for-a-few-hundred-dollars/) を解決したと発表しましたが、そのアプローチは形式証明言語 Lean に依存しており、LLM（大規模言語モデル）の純粋主義者の視点からはそれほど印象的ではありません。とはいえ、[Claude Code も純粋な LLM ではなく、エージェント型ハーンネスです](https://the-decoder.com/frontier-radar-2-why-ai-productivity-gets-lost-between-benchmarks-and-the-balance-sheet/)。 ## 過剰な宣伝なしの AI ニュース – 人間が厳選 広告なしで読めるよう、週刊 AI ニュースレター、年 6 回の独占「AI Radar」フロンティアレポート、アーカイブへの完全アクセス、そしてコメント欄へのアクセスを提供する THE DECODER に [今すぐ登録](https://the-decoder.com/subscription/) してください。

Claude が OpenAI の画期的なエルデシュ問題に「可愛く単純な証明」で解決したと報じられる（2 分読）

背景や根拠まで確認しますか？

調べる

選ぶ

サイト