最近、ケンブリッジ大学の数学教授でフィールズ賞受賞者のティモシー・ゴーウェス氏が、自身のブログで公開されていないチャットGPT5.5 Proを使用して数学研究を行った経験を紹介しました。このAIモデルはわずか1時間で組み合わせ数学分野の未解決問題を解決し、学術界にAIの数学的実力に関する新たな注目をもたらしました。

ゴーウェス教授は、AI技術の発展に伴い、大規模言語モデルが数学分野での応用において大きな変化を遂げたと指摘しました。初期にはその能力に疑問を抱いていた人々もいましたが、それはすでに知られている答えや単純な導出に過ぎないと考えられていました。しかし、ゴーウェスの実験では、チャットGPT5.5 Proがより独自な能力を持っており、人間の数学者が見落としがちな簡潔な証明を見つけることができ、理論的な枠組みが完全でない状況でもオリジナルな証明のアイデアを構築できることが示されました。

今回の研究対象は、数学者メル・ナサンソンによる和集合の直径上界の推定に関する問題でした。ゴーウェス氏の誘導のもと、チャットGPT5.5 Proは複数回の試行を経て、最初の指数的な上界から多項式的な上界へと段階的に改善し、最終的には1時間以内に完全な証明を完成させました。MITの学部生であるアイザック・ラジャゴパル氏は、この証明はほぼ間違いなく正しいものであり、核心的な考え方も信頼性があると評価しました。

ゴーウェス氏はまた、これらのAIによって生成された数学的成果をどのように扱うべきかという重要な学術倫理の問題を提起しました。チャットGPTの作業はすでに論文掲載の基準を満たしていますが、従来の雑誌への投稿は適切ではないため、専門的なAI数学成果の保存庫の設置を提案しました。この変化は、数学教育、修士課程の育成および学術評価システムに深い影響を与える可能性があります。

ポイント：

📊 AIモデルのチャットGPT5.5 Proは、1時間で博士レベルの数学問題を解き、新しい数学的実力を示しました。

🔍 ゴーウェス教授は、このAIが簡潔な証明を識別するだけでなく、理論的な枠組みが不完全な状況でも独自のアイデアを提示できることを指摘しています。

📜 学術界は新たな課題に直面しており、AI数学成果の審査体制の整備が必要です。これにより、数学研究の発展が促進されるでしょう。