フィールズ賞数学者「GPT-5.5 Proが博士レベルの証明を生成」——数学研究に危機迫る

実験の概要

2014年フィールズ賞受賞者でケンブリッジ大学教授のTimothy Gowersが、自身の研究で取り組む未解決数学問題にChatGPT 5.5 Proを試したブログ記事を公開した。モデルは約1時間で、Gowersが「博士課程レベル」と評価する数学的証明を生成した。

なぜ驚くべきか

Gowersが試したのは教科書的な問題ではなく、自身の現在進行中の研究における未解決問題だ。モデルは問題の構造を把握し、数学専門誌に掲載できると彼が評価する証明を出力した。彼はこう結論付けた。これが現在の能力水準であれば、近い将来、数学研究は危機を迎えるだろう。

危機への警告

Gowersの懸念はAIが数学を陳腐化させるということではなく、進歩のペースが数学者の予測を超えているという点だ。真に未解決の研究問題でAIが成果を出し始めたことを示唆している。このブログ記事はHacker NewsとRedditの両方で大きな議論を呼んだ。