最近、ベルギーのブリュッセル・フリーアン大学（VUB）は、AI史に残る研究結果を発表しました。商用大規模モデルが独自にオリジナルな数学的証明を生成する能力を備えていることが明らかになりました。実験によると、OpenAIのChatGPT-5.2 (Thinking) は、2024年に数学者RanとTengが提示した未解決の数学的予想を成功裏に解明しました。

ロボットコンテスト 質問 数学

図の出典コメント：画像はAIにより生成され、画像のライセンス提供元はMidjourneyです

この突破は、大規模言語モデル（LLM）の境界がコード補助やテキスト創作から、高い論理的厳密性を要する理論数学の分野へと越えたことを示しています。数学界では強い反応があり、これは科学発見のパラダイムが根本的に変化していることを示唆しているとされています。

「雰囲気証明」登場：会話から生まれた数学定理

研究チームはこの新しい研究方法を「vibe-proving（雰囲気証明）」と名付けました。そのインスピレーションは、最近注目されている「雰囲気プログラミング（vibe programming）」から来ています。この証明の全過程において、ChatGPTは証明の道筋の探索と、中心的な論理枠組みの構築を独立して担当し、データの組み合わせを越えた独自の推論能力を示しました。

この証明には7回の対話的交換と4つのバージョンの自己改善が含まれており、最終的には厳密な論理的証明が形成されました。人間の研究者たちは最終的な検証作業を担っていますが、AIが示した推論効率は人間の数学者の予想をはるかに上回りました。

業界の重心移動：人間は「生産者」から「検証者」へと転換

VUBのVincent Ginis教授は、この成果が「AIは説明力はあるが創造力はない」という既存の偏見を打ち破ったと指摘しました。AIが数学的証明を生成するハードルが低下すれば、理論数学の研究速度は指数関数的に向上すると考えられます。

今後の数学界の主要な課題は、「証明の道筋を見つけること」から「論理の正しさの検証」にシフトするでしょう。AIが大量かつ高品質な仮説証明を生成できるようになれば、どのように効率的で自動化された人間による検証を行うかが、次の技術争奪戦の焦点となるでしょう。