本記事は筆者が運営する AI Quotidia (ai.quotidia.jp) の海外ニュース解説記事です。
OpenAIが「今度こそ本物」——80年間未解決の数学予想を覆したAIの衝撃
「AIが数学の難問を解いた」と聞くと、皆さんはどう感じるでしょうか。「またか」と思った方、実はその反応、正しいのです。
というのも、OpenAIは約7か月前にも「GPT-5が数学の問題を解いた」と発表したことがあります。ところがこのときは、数学者たちから「それ、すでに知られている解の再発見ですよね」と指摘され、いわば"空振り"に終わりました。
では今回はどうなのか。結論から言えば、あのとき誤りを指摘した数学者たち自身が、今回の成果を支持しています。フィールズ賞受賞者のティム・ガワーズ氏は「AIによる数学のマイルストーンだ」と評価しました。
では、何を解いたのでしょうか？
対象は「単位距離問題」と呼ばれる組合せ幾何学の基礎的な問題です。1946年に数学者ポール・エルデシュが提起したもので、簡単に言うと「平面上に点をたくさん並べたとき、ちょうど1単位の距離にある点のペアは最大で何組作れるか？」という問いです。
約80年間、数学者たちは「正方形の格子状に点を並べるのが最も効率的だろう」と信じてきました。ところがOpenAIの推論モデルは、この常識を覆す全く異なる配置パターンを発見し、長年の予想を反証したと発表しました。
ここで注目すべきポイントがあります。
この成果を出したのは、幾何学専用のツールではありません。ChatGPTの延長線上にある汎用の推論モデルです。特定分野に特化したAIではなく、私たちが日常的に使うものと同じ系統のAIが、専門家が80年間解けなかった問題に答えを出したのです。
これは何を意味するのでしょうか。
日本の数理科学研究にとっても、大きな示唆があります。理化学研究所や大学の研究現場で、AIを「発見のパートナー」として活用できる可能性が現実味を帯びてきました。同時に、7か月前の"空振り"から今回の成功への転換は、AI生成の学術成果には第三者による厳密な検証が不可欠だという教訓も残しています。
「AIが解いた」という見出しだけで判断せず、「誰が検証し、誰が支持しているのか」まで見る——そういう目を持つことが、AI時代のリテラシーとして求められています。
この記事は AI Quotidia から転載しています。
文豪モード（情景描写と比喩で読む）・速報モード（30秒で読める）もサイトで読めます。
👉 https://ai.quotidia.jp?utm_source=qiita&utm_medium=referral