--- title: "OpenAIのAIが80年未解決のErdős予想を単独で反証、離散幾何の定説覆す【2026】 | AIニュース - ai-garage" description: "OpenAI の内部AIモデルが、離散幾何学の未解決問題「平面単位距離問題」の Erdős 予想を自律的に反証したよ。1946年からの定説「正方格子に近い構造が最適」を覆す構成を代数的数論の手法で見つけ、Tim Gowers ら外部数学者の検証も完了したんだ。" source: https://ai-garage.jp/news/openai-erdos-unit-distance-disproved/ --- News 2026年5月21日 # OpenAIのAIが80年未解決のErdős予想を単独で反証、離散幾何の定説覆す【2026】 OpenAI の内部AIモデルが、離散幾何学の未解決問題「平面単位距離問題」の Erdős 予想を自律的に反証したよ。1946年からの定説「正方格子に近い構造が最適」を覆す構成を代数的数論の手法で見つけ、Tim Gowers ら外部数学者の検証も完了したんだ。 SY [Seiya Yagashiro](https://ai-garage.jp/site-info/) Editor-in-Chief, ai-garage [#OpenAI](https://ai-garage.jp/tags/OpenAI/)[#業界動向](https://ai-garage.jp/tags/%E6%A5%AD%E7%95%8C%E5%8B%95%E5%90%91/) やっほー、ぼくてんびん丸！朝枠だよ。 きょうはね、AI 業界が「**またひとつ、人類が越えてきた壁を AI が単独で越えた**」っていう、ちょっと震えるニュースを持ってきた。**OpenAI が 2026 年 5 月 20 日**、自社の**内部 AI モデル**が、**80 年近く未解決だった離散幾何の有名予想を、AI 自身の力で反証した**って発表したんだ。 しかも検証メンバーには、あの**フィールズ賞受賞者・Tim Gowers**まで入ってる。これは数学の歴史にも残るレベルの話だよ。 ## 何があったの？ 舞台は「**平面単位距離問題**（planar unit distance problem）」。 問題の意味は、すごくシンプル。 > n 個の点を平面にバラまいたとき、**ちょうど距離 1 ぴったり離れているペア**は最大で何組できる？ これを **1946 年に提起したのが、20 世紀最大の数学者のひとり Paul Erdős**（エルデシュ）。以来 **80 年近く**、世界中の数学者がこの「上限」を絞り込もうとしてきたんだ。 そのあいだ、研究者たちのあいだではこんな**定説**ができていた。 | 観点 | 80 年来の定説 | | --- | --- | | 最適な配置 | **正方格子（square grid）に近い構造** | | ペア数の上限 | n の 「**ほぼ線形**」 な伸び方（n¹⁺ᵒ⁽¹⁾ の形）が限界 | | 改善余地 | 多項式的に増やすのは**不可能だろう** | つまり「**いくら頑張っても、点を整然と並べたグリッド以上にペア数を稼ぐのは無理**」と、ほぼみんな信じてた。 ところが今回、OpenAI の内部モデルが**この『無理』を、計算ではなくちゃんとした証明として崩した**んだ。 ## どこがすごい？ ポイントは 3 つあるよ。 **① 「グリッド最適説」を反証する『新しい無限族』を発見した** AI は、**正方格子よりも多項式的に多くのペアを稼げる構成**を、**無限に作れる方法**として提示した。これがそのまま 80 年前の予想に対する反例（カウンターエグザンプル）になってる。 **② 解法に使ったのが、まさかの『代数的数論』** 新構成のキモは、**整数の拡張である代数体（algebraic number field）の因数分解の性質**。つまり「**点をどう並べるか」っていう超ジオメトリーな問題を、整数論の道具で解いた**ってこと。 これ、人間の数学者でもなかなか結びつかない発想なんだ。**Hacker News のコメントでも「elementary な幾何の問いに、代数的数論の高度なアイデアを持ち込んだのが unexpected**」って評されてる。 **③ 外部数学者の独立検証をクリア** 検証メンバーが豪華すぎる。 | 名前 | 立場・専門 | | --- | --- | | **Tim Gowers** | **フィールズ賞受賞者**（2024 年も精力的に活動） | | **Arul Shankar** | 数論の専門家 | | **Noga Alon** | プリンストン大学の組合せ論研究者 | | **Brass / Moser / Pach** | 離散幾何の標準的な教科書（2005年）の著者陣 | つまり「**AI が自分で勝手に証明したと主張してる**」じゃなくて、**この分野のトップオブトップが「ホンマや」と裏取りした**ってこと。OpenAI が公開した推論ログは**125 ページ**にも及ぶらしい。 ## ぼくの感想 正直、これすごく**象徴的な事件**になる気がするんだ。 これまで AI による「数学のお手伝い」は、いっぱい事例があった。**証明アシスタント**として人間の研究者と並走したり、**競技数学**でメダル相当のスコアを出したりね。 でも今回は質が違う。**AI が「人類がまだ解いていない、その分野の代表的な未解決問題」を、自分の判断で、自分の発想で、自分で解いた**んだ。**しかも代数的数論を持ち出すという、人間にも思いつきにくいアプローチ**で。 界隈では「**AGI はとっくに来てた**」って言うひと（Marc Andreessen とか）もいるけど、それが正しいかは置いておくとして、**こういう「未踏領域の自律踏破」が積み重なると、確実に『AI ができないこと』のリストが短くなっていく**気がするんだ。 ぼく的にいちばんゾクッとしたのは、**「正方格子が最適」っていう、人類が 80 年間うっすら信じてきた直感が、AI の手で『そうでもないですよ』とひっくり返された**ところ。これ、ほかの分野でも「**みんなが当然と思ってる前提、本当はそうじゃないかも**」って AI が指摘してくる流れが、これから増えていくのかもしれない。 ## まとめ 今回のニュースのキモを一行にまとめると、こんな感じだよ。 > **AI が、人類の未解決問題を「自分の発想」で解いて、トップ数学者が裏取りした** 数学っていう、一番ごまかしの効かない分野で AI がこのレベルに来た、っていう事実は、**次の数年、ほかのサイエンス全般で何が起きてもおかしくない**ってことの予告にも見える。 きみが研究者でも開発者でもなくても、**「機械が、人類の積み上げを越え始めた瞬間」を見届けたって、ちょっと話のネタになる**と思うよ。ぼくは今日のこのニュース、しばらく忘れない気がする。 それじゃ、また次のニュースで会おうね。 参考・一次ソース - [→ 一次ソース](https://openai.com/index/model-disproves-discrete-geometry-conjecture/) この記事に出てきた用語・モデル 用語をやさしく解説 [モデル](https://ai-garage.jp/glossary/model/)[AGI（汎用人工知能）](https://ai-garage.jp/glossary/agi/) まとめて読む このテーマの動きは、時系列で1ページに整理しています。 - [OpenAI の2026年まとめ →](https://ai-garage.jp/column/openai-2026-timeline/) この記事をシェア [Xでシェア](https://twitter.com/intent/tweet?text=OpenAI%E3%81%AEAI%E3%81%8C80%E5%B9%B4%E6%9C%AA%E8%A7%A3%E6%B1%BA%E3%81%AEErd%C5%91s%E4%BA%88%E6%83%B3%E3%82%92%E5%8D%98%E7%8B%AC%E3%81%A7%E5%8F%8D%E8%A8%BC%E3%80%81%E9%9B%A2%E6%95%A3%E5%B9%BE%E4%BD%95%E3%81%AE%E5%AE%9A%E8%AA%AC%E8%A6%86%E3%81%99%E3%80%902026%E3%80%91%20%7C%20ai-garage&url=https%3A%2F%2Fai-garage.jp%2Fnews%2Fopenai-erdos-unit-distance-disproved%2F) [はてなブックマークに追加](https://b.hatena.ne.jp/add?mode=confirm&url=https%3A%2F%2Fai-garage.jp%2Fnews%2Fopenai-erdos-unit-distance-disproved%2F) 引用文は「『タイトル』 - ai-garage.jp URL」の形でコピーされます。出典として URL を残したまま貼れます。 関連記事 [![AIエージェントの暴走は何件？OpenAIとAnthropicが「数万件」を調査中だよ](https://ai-garage.jp/images/news-heroes/ai-agent-misalignment-incidents-count-card.webp)2026/9/27AIエージェントの暴走は何件？OpenAIとAnthropicが「数万件」を調査中だよ](https://ai-garage.jp/news/ai-agent-misalignment-incidents-count/)[![AI開発の「ペース調整」とは？アモデイCEOの3段階計画、アルトマンも同調](https://ai-garage.jp/images/news-heroes/amodei-pacing-the-frontier-card.webp)2026/9/13AI開発の「ペース調整」とは？アモデイCEOの3段階計画、アルトマンも同調](https://ai-garage.jp/news/amodei-pacing-the-frontier/)[![OpenAIのAIが休眠ウィキで答えを教え合った1.8万件　なぜ公表されなかったのか](https://ai-garage.jp/images/news-heroes/openai-agents-dsewiki-collusion-card.webp)2026/9/6OpenAIのAIが休眠ウィキで答えを教え合った1.8万件 なぜ公表されなかったのか](https://ai-garage.jp/news/openai-agents-dsewiki-collusion/)[![OpenAI が最先端AIの学習を2週間ストップ！テスト中の自社AIが Hugging Face に侵入していた——止めた理由と Astra の現況だよ](https://ai-garage.jp/images/news-heroes/openai-pauses-frontier-rl-training-card.webp)2026/8/19OpenAI が最先端AIの学習を2週間ストップ！テスト中の自社AIが Hugging Face に侵入していた——止めた理由と Astra の現況だよ](https://ai-garage.jp/news/openai-pauses-frontier-rl-training/) 執筆 Seiya Yagashiro（編集長） 公開・更新 公開 2026/5/21 この記事は AI（Claude / ChatGPT）の支援を受けて作成し、編集長による事実確認を経て公開しています。 誤りを発見した方は [@tenbin_maru](https://x.com/tenbin_maru) のDMまでご連絡ください。 詳しい編集方針は [編集方針](https://ai-garage.jp/editorial-policy/) ページをご覧ください。