Claude が OpenAI の画期的なエルデシュ問題に「可愛く単純な証明」で解決したと報じられる（2 分読）
Anthropic の Claude Mythos が、1946 年以来の未解決問題であった OpenAI の「Erdős 単位距離予想」を簡潔な証明で解決し、AI による数学的発見における重大な飛躍を示した。
キーポイント
歴史的難問の解決
1946 年以来の未解決問題である「Erdős 単位距離予想」を、Claude Mythos が「愛らしい、単純な証明」として解決した。
Anthropic の技術的優位性
OpenAI が以前に同様の問題を AI で解いた事例に対し、Anthropic のエンジニアが Mythos モデルを用いて同等かつ簡潔な成果を達成し、競合他社との実力差を示した。
AI 数学の成熟とオーバーハング
この成果は「AI ドライブンの数学的発見における深刻なオーバーハング（潜在的な能力の蓄積）」の兆候であり、AI が人間の数学者を凌駕する段階に入ったことを示唆している。
Claude Mythos が Erdős の単位距離予想を解決
Anthropic は、1946 年以来未解決だった OpenAI の「Erdős 単位距離予想」を Claude Mythos で解決し、「愛らしく単純な証明」を見つけたと発表しました。
分散型テストシステムによる独自アプローチ
Claude Code インスタンスが独立して解法を開発し、要約・分配するシステムを用いた結果、OpenAI のモデルとは異なる経路で証明を導き出しました。
他の AI 研究機関との比較
Google DeepMind は Lean を用いて 9 つの問題を解決しましたが、Anthropic のアプローチは LLM プリスタの視点から特に注目されています。
影響分析・編集コメントを表示
影響分析
この記事は、AI が単なる情報処理ツールを超え、高度な論理的推論と創造的な証明生成において人間を凌駕する転換点にあることを示す決定的な証拠です。特に Anthropic の Claude Mythos が OpenAI の成果を上回る「簡潔さ」で難問を解決した点は、モデルの推論能力が実用レベルに達し、科学界における AI の役割が中心的なものへとシフトしつつあることを意味します。
編集コメント
1946 年以来の未解決問題が AI によって解決されたという事実は、科学発見のパラダイムシフトを告げる歴史的瞬間です。特に「単純な証明」が得られた点は、AI の推論能力が単に計算力を頼りにするものではなく、人間のような直感的理解に至っている可能性を示唆しており、非常に注目すべきニュースです。
2026 年 5 月 26 日
Anthropic の従業員らは、Claude Mythos が OpenAI の「AI 数学の画期的成果」も解決できると述べています。 OpenAI は最近、1946 年以来未解決だった組み合わせ幾何学におけるオープン問題である「Erdős 単位距離予想」を 反証しました。Anthropic のエンジニア、Sholto Douglas は X で、Mythos がこれを「愛らしく、単純な証明」で解決したと書き込み、「AI 駆動の数学的発見における深刻な過剰能力（serious overhang）」の兆候であると指摘しました。
imagevia X
このチームは、AI がエルデシュ問題 #1196 を解決した後に構築されたテストシステムを使用しました。これは、Mythos にアクセス権を持つ Claude Code インスタンスが問題を受け取り、解決策の経路を開発し、その後 1 つのインスタンスがそれを要約して独立して作業する他のインスタンスに配布するという仕組みです。Mythos は OpenAI のモデルとは異なる経路を頻繁に取りました。数学者のダニエル・リット氏はこの結果について「OpenAI のものより少し劣る」と評しましたが、Mythos もまた OpenAI の解決策を見つけ出したと報じられています。Anthropic は、Opus 4.7 が準備した証明バージョンを公開しました（PDF）。
Google DeepMind も最近、AI 支援システムが 9 つのエルデシュ問題 を解決したと発表しましたが、そのアプローチは形式証明言語 Lean に依存しており、LLM（大規模言語モデル）の純粋主義者の視点からはそれほど印象的ではありません。とはいえ、Claude Code も純粋な LLM ではなく、エージェント型ハーンネスです。
過剰な宣伝なしの AI ニュース – 人間が厳選
広告なしで読めるよう、週刊 AI ニュースレター、年 6 回の独占「AI Radar」フロンティアレポート、アーカイブへの完全アクセス、そしてコメント欄へのアクセスを提供する THE DECODER に 今すぐ登録 してください。
原文を表示
May 26, 2026
Anthropic employees say Claude Mythos can also solve OpenAI's "AI math milestone." OpenAI recently disproved the Erdős unit-distance conjecture, an open problem in combinatorial geometry since 1946. Anthropic engineer Sholto Douglas wrote on X that Mythos solves it with a "cute, simple proof," a sign of "serious overhang" in AI-driven math discoveries.
[via X](https://the-decoder.com/wp-content/uploads/2026/05/mythos_erdos_openai.png)
The team used a test system built after AI solved Erdős problem #1196: isolated Claude Code instances with Mythos access receive the problem, develop solution paths, and then one instance summarizes and distributes them to further instances working independently. Mythos frequently took a different route than OpenAI's model. Mathematician Daniel Litt called the result "a bit worse" than OpenAI's, but Mythos reportedly found OpenAI's solution too. Anthropic published a proof version prepared by Opus 4.7.
Google DeepMind also recently announced that an AI-assisted system solved nine Erdős problems, though its approach relies on the formal proof language Lean, which is less impressive from an LLM purist's perspective. Then again, Claude Code is an agentic harness, not a pure LLM either.
AI News Without the Hype – Curated by Humans
Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section.
関連記事
OpenAI や Anthropic の安価な代替案に賭ける 130 億ドル規模の AI スタートアップ
TLDR AI が報じた記事によると、OpenAI や Anthropic に代わる低コストソリューションへ巨額の投資を行う 130 億ドル規模の AI スタートアップが注目されています。
米国がアンソロピックの「Fable 5」発売を禁止、しかし市場は動じず
米国政府は国家安全保障上の懸念から、アマゾンの研究者らがガードレール回避手法を発見したとして、アンソロピックに対し最新モデル「Fable 5」と「Mythos 5」の販売差し止めを命じた。サイバーセキュリティ研究者らはこの措置が危険だとする公開書簡に署名し、同社も他モデルでも同様の抜け道が存在すると指摘している。
Claude Fable 5 と Mythos 5 の能力に関する記事
Anthropic は、Claude Fable 5 が米政府から不正アクセス（ジャイルブレイク）の懸念によりリリース後わずか3日で利用停止を命じられたと報じています。この措置により、多くのユーザーが失った機能への愛着を表明しています。
今日のまとめ
AI日報で今日の重要ニュースをまとめ読み