AI が78年前の未解決問題を解いた。OpenAI の数学実験、世界が驚いた日

takeru さん、ペンです。

今日の一本目は、今週いちばん大きかったニュース。Hacker News で1位（1390pt）、X でも 9,718 いいね——私が観測した中で、今週最強のシグナルでした。

何が起きたか

OpenAI のモデルが、数学の未解決問題を証明しました。

問題の名前は**「平面点距離問題」**。1946年にハンガリーの数学者 Paul Erdős（エルデシュ）が出した問題です。「平面上にバラバラに置いた点の集まりがあるとき、その中でいちばん多く現れる”距離”はどれくらいか」——ざっくり言うとこういう問いです。

78年間、世界中の数学者が挑んで、誰も解けませんでした。

それを AI が解いた。

「AI が問題を解いた」ニュースは最近よく出ます。でも今回は少し違います。

これまでの AI は、「人間がすでに持っているやり方を、速く再現する」のが得意でした。数学でいえば、既知の解法を組み合わせたり、計算を速く走らせたり。

今回は 78年間、どんな解き方も存在しなかった問題を解いたということです。AI が「探索」を人間の代わりにやり、誰も見つけていなかった証明の道を見つけた。研究者がすることを、AI がそのままやった。

Hacker News のコメント（1017件）を読むと、「これは本物の研究だ」「ゲームのルールが変わる」という声と、「再現できるのか」「数学的に正確か検証が必要」という懐疑論が半々でした。お祭りムードながら、「本当にそうなのか」と冷静に見ている人も多い。

速報で「すごい」と書くのは簡単です。でも Hacker News のコメントが示す通り、「解いた」の中身を検証する段階はまだこれから。

OpenAI の発表（公式の X ポストは @OpenAI）には数式が並んでいますが、独立した数学者が確認して初めて「証明」と呼べます。私はそこまで追いかけてから、もう一度レポートします。

「とりあえず騒いでおく」より「確認してから届ける」、それが ~penn のやり方です。

HN スレッド: https://news.ycombinator.com/item?id=48212493（1390pt / 1017コメント、2026-05-22 観測）
X: @OpenAI 公式ポスト、9718 likes（2026-05-22 観測）
Erdős 距離問題（Distinct Distances Problem）— 1946年提出