OpenAIの推論AIが数学の未解決問題を反証——エルデシュの単位距離予想に反例

OpenAIが開発した汎用推論モデルが、数学者エルデシュが提唱した未解決予想の反例を発見したと発表しました。AIが数学研究に本格参入したことを示す重要な出来事です。

OpenAIが開発した汎用推論モデルが、数十年にわたって未解決だった数学の問題——「エルデシュの平面単位距離予想」——に対して反例を見つけ、その予想を否定することに成功したと発表しました。証明の詳細はPDFとして公式サイトで公開されています。

この「エルデシュの予想」というのは、平面上にn個の点を置いたとき、距離がちょうど1になる点のペアは最大いくつ作れるか、という問いに関するものです。ハンガリーの数学者ポール・エルデシュが提唱し、世界中の数学者が長年挑んできた難問のひとつです。

これまでAIが得意だったのは、文章を作ったり、画像を認識したり、データを整理したりといった作業でした。でも今回は「誰も解けなかった問題に論理的な反例を見つける」という、純粋な思考力が問われる分野での成果です。AIが「記憶した答えを出している」のではなく「自分で考えて新しい発見をした」とも解釈できる出来事で、その意味では一つの転換点といえるかもしれません。

ただ、AIが導き出した数学的証明は、専門家による検証が欠かせません。OpenAIは証明PDFを公開していて、数学コミュニティによるレビューが進んでいます。発表の信頼性については、今後の検証結果を見届けたいところです。

数学の未解決問題をAIが解いた、と聞くと「ついにそんな時代になったか」と少し呆然としてしまいます。専門的すぎて内容は正直わからないのですが、「AIが考えて新しいことを発見できる」という事実だけで十分すごいと思いました。

参照元： OpenAI公式発表: Model disproves discrete geometry conjecture / 証明PDF