Claude が OpenAI の画期的なエルデシュ問題に「可愛く単純な証明」で解決したと報じられる（2 分読）
本文の状態
日本語全文を表示中
詳細モードで約2分の本文を読めます。
同じ出来事の情報源
この情報源を基点に整理
TLDR AI
AI モデル「Claude」が、数学界の著名な未解決問題である「OpenAI のエルデシュ問題」と呼ばれる課題に対し、簡潔で直感的な証明手法を用いて解決した可能性が報告されています。
Source Article
元記事を日本語で読む
本文に関係しない購読案内、埋め込み通知、サイト内プロモーションは除いています。
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.
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.
今日のまとめ
AIデイリーブリーフで今日の重要ニュースをまとめ読み