AIで60年未解決数学問題を解決、23歳学生が歴史的快挙

23歳学生がAIに質問、60年間未解決の数学問題を解決

60年以上にわたり、世界の一流数学者たちが手を焼いてきた数学の問題を、たった一つのAIへの質問で解決した——。その快挙を成し遂げたのは、23歳の学生ライアン・プライス氏だ。

60年の壁を越えた「単純な」プロンプト

プライス氏がChatGPTに投げかけたのは、エルデシュ問題の一つに関する質問だった。エルデシュ問題は、数学者ポール・エルデシュが提示した未解決の数学問題のコレクションで、その多くは長年、解かれずに残されている。

プライス氏が使用したのは、OpenAIの最新モデル「GPT-5.4 Pro」。彼はこのAIに問題を提示し、解決策を尋ねた。その結果、AIは人間がこれまでに発見していなかった方法で、問題の証明を生成した。

この解決策は、数学コミュニティのウェブサイト「erdosproblems.com」に投稿され、数学者たちの間で大きな注目を集めている。

AIが拓く数学研究の新時代

従来、数学の証明は人間の直感と創造性の産物と考えられてきた。しかし、今回の出来事は、AIが独自のアプローチで数学的真理に到達できることを示唆している。

注目すべきは、AIが使用した証明手法が「人間が開発していなかった」点だ。これは、AIが単に人間の知識を再現するだけでなく、新たな数学的洞察を提供できる可能性を示している。

アマチュアとAIの組み合わせが生むインパクト

プライス氏は専門の数学者ではない。しかし、最新のAIツールを適切に活用することで、専門家たちが長年取り組んできた課題に解決の糸口を見つけた。

この事例は、AIが研究の民主化を進める可能性を強く示唆している。高度な専門知識がなくても、適切なAIツールを使いこなせば、最先端の研究に貢献できる時代が到来しているのだ。

数学コミュニティの反応と今後の課題

数学コミュニティでは、この解決策の検証が進んでいる。AI生成の証明は、従来の証明とは異なる論理構造を持つ場合が多く、その妥当性を評価する新たな基準が必要になる可能性がある。

また、AIが数学問題を解決する能力の限界や、人間の数学者との協働のあり方についても、今後議論が深まるだろう。プライス氏の快挙は、AIと人間の知的活動の関係性を根本から問い直すきっかけとなるかもしれない。