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

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

何が発表されたのか

OpenAIは、同社が開発した汎用推論モデルが「エルデシュの平面単位距離問題」と呼ばれる数学の未解決予想に対して反例を構成し、予想を否定することに成功したと発表しました。証明の詳細はPDFとして公式に公開されています。

エルデシュの予想とは何か

「エルデシュの単位距離問題」は、ハンガリーの数学者ポール・エルデシュが提唱した問題です。平面上にn個の点を置いたとき、距離がちょうど1になる点のペアは最大でいくつ存在できるか——という問いに関する予想です。専門的な内容ですが、数十年にわたって世界中の数学者が取り組んできた難問のひとつです。

なぜ重要なのか

これまでAIが得意とされてきたのは、文章の生成・画像の認識・データの分析といった領域でした。今回のように「未解決の数学的問題に反例を見つける」というのは、純粋な論理的推論・証明能力が求められる分野です。

AIが数学研究に貢献できる可能性が示されたことで、今後の科学・工学分野におけるAI活用の幅が大きく広がる可能性があります。

一般ユーザーや仕事への影響

今すぐ日常業務に影響があるわけではありませんが、AIが「答えを暗記している」のではなく「論理的に考えて新しい発見ができる」段階に入りつつあることを示しています。教育・研究・エンジニアリング分野への応用が期待されます。

注意点

AIによる数学的証明は、専門家による検証が必要です。OpenAIは証明PDFを公開しており、数学コミュニティによるレビューが進んでいます。発表内容の信頼性については、今後の検証結果を待つことが大切です。

参照元

• OpenAI公式発表: Model disproves discrete geometry conjecture
• 証明PDF