数学の未解決問題とAIの関係は、これまで「計算を速くする補助ツール」として語られてきた。その位置づけが、静かに変わりつつある。
An OpenAI model has disproved a central conjecture in discrete geometry（OpenAI、2025年5月）によると、OpenAIのモデルが離散幾何学の80年来の主要な予想——Erdős の単位距離予想——を反証した。平面上のn点において単位距離となるペアの最大数に関する予想に対し、AIが反例を構成することに成功した。数十年にわたって数学者が正しいと信じてきた命題が、機械によって崩された。
従来のAIの数学的貢献は、既知の定理の検証や定式化済みの問題の求解が中心だった。今回は性質が異なる。「正しいと思われていた命題の反例を見つける」行為は、長年人間の数学者だけが担ってきた発見的な仕事に近い。
単位距離問題が持つ探索空間は広大で、人間の直感が届きにくい。AIがそこから反例を引き出せたということは、組み合わせ爆発的な構造の中でも機械的な探索が有効に機能しうることを示している。
この転換が持つ可能性は、未解決予想の探索コストの圧縮にある。数学者が「正しいはず」と感じている命題群に対し、AIが系統的に反例候補を生成・検証できるなら、人間は問いの定式化と証明の意味づけに集中できる。AIと人間の数学的分業が、現実味を帯びてきた。
80年間崩れなかった予想が崩れたことは、一つの成果だ。より問うべきは、これが例外的な事例なのか、数学的探索の新しい様式の入口なのか——その答えは、次の反証が出るまでの時間が示してくれるだろう。
出典: An OpenAI model has disproved a central conjecture in discrete geometry — OpenAI (2025)
関連記事
- The next phase of OpenAI’s Education for Countries
- Strengthening Singapore’s AI Future: A New National Partnership
- 個人向けAIエージェントが、質問応答だけでなく実際の作業代替を実現できるか？
参考文献
コメント