OpenAIモデルが80年未解決の数学難題を攻略

80年来の難問：Collatz予想への挑戦

Collatz予想（3x+1問題とも呼ばれる）は、1937年にドイツの数学者Lothar Collatzが提起して以来、世界中の数学の天才たちを悩ませ続けてきた。任意の正整数について、奇数なら3倍して1を足し、偶数なら2で割る——この一見単純な規則を繰り返すと、最終的にすべて4-2-1のループに収まるというものだが、これがすべての正整数に対して成り立つことを誰も証明できずにいた。80年以上にわたり、数多くの数学者がこれに挑んだものの、部分的な進展といくつかの推測的な結論しか得られなかった。

しかし、2026年6月1日、OpenAIは最新のAIモデルがCollatz予想の完全な証明に成功したと発表した。このニュースは学術界に衝撃を与えた。Ars Technicaの報道によると、このモデルは力技の計算に頼ったのではなく、記号推論と強化学習を組み合わせた新型アーキテクチャを通じて、公理から厳密な数学的証明を導き出したという。

AIはいかにして数学の難問を「考える」のか？

OpenAIの研究チームは証明の完全な詳細を公開していないが、著者のKai Williamsはより明確な形でその核心的なアプローチを説明しようと試みている。このモデルはまず大量の数学文献で訓練を受け、論理推論のパターンを学習した。その後、自己対戦の方式で大量の「証明経路」を生成し、内蔵の検証器を用いて各ステップの厳密性を確保した。最終的に、モデルは「ゲーデル符号化」と「再帰関数理論」に基づく巧妙な構成を発見し、Collatz予想の無限の検証を有限ステップの推論に帰着させた。

「これはAIに数学者の直感を学ばせるようなものだが、人間の経験的な制約に縛られない」——Kai Williamsは記事の中でこう評価している。

さらに驚くべきことに、モデルは証明を提示するだけでなく、人間が読める記号言語でその推論過程を「説明」することもできる。この説明は非専門家にとっては依然として難解だが、数学界はすでにその正しさの検証を始めている。初期のフィードバックによれば、証明の論理は緻密で、明らかな欠陥は見つかっていないという。

編集者注：AI数学研究のマイルストーンと限界

今回の突破は、DeepMindのAlphaFoldがタンパク質折りたたみ問題を解決して以来、AIが科学的推論の分野で成し遂げたもう一つの大きな勝利である。ビッグデータとパターン認識に依存するAlphaFoldとは異なり、Collatz予想の証明には、純粋に公理に基づく演繹的推論が必要となる。これは、大規模言語モデルが適切な訓練とアーキテクチャの最適化を経ることで、ある程度の「創造的」な数学能力をすでに獲得していることを示している。

しかし、慎重さも保たねばならない。第一に、この証明の複雑さは人間の数学者が通常扱える範囲を遥かに超えており、数百ページにわたり、大量の抽象概念を含んでいる。本当に「完全に解決した」と言えるかどうかは、正式発表後の査読を待つ必要がある。第二に、たとえ証明が確認されたとしても、数学におけるAIの役割は依然として代替者というよりもツールに近い。ほとんどの数学的発見は依然として人間の直感と領域知識に依存しており、AIは現時点では人間の認知の枠組みを超える全く新しい予想を提示することはできない。

一般の読者にとって、今回の出来事の最大の意義は、AIが「計算機」から「推論のパートナー」へと進化しつつあるという点にある。将来、数学者は天文学者が望遠鏡で宇宙を観測するように、AIの力を借りて複雑な予想を検証し、より広大な数学的空間を探索できるようになるかもしれない。

本記事はArs Technicaから編訳した。