最近、数学界で歴史に残る出来事がありました。ケンブリッジ大学の教授でフィールズ賞受賞者のティモシー・ゴウアーズ氏が自身のブログで、衝撃的な体験を共有しました。彼は、まだ公開されていないチャットGPT 5.5 Proを使用し、わずか1時間で数学界が長年悩んでいた組合せ数学のオープン問題を解決したのです。
長年にわたり学術界では、大規模モデルが高度な数学を処理する能力に対して懐疑的でした。それは、モデルが「本を覚える」こと、つまり文献の検索や既知の推論の模倣によって答えを出すだけだと考えられていたからです。しかし、ゴウアーズ教授の今回のテスト結果はその偏見を完全に打ち破りました。この内側テスト段階のモデルが、人間の専門家さえ見落とすような簡潔な証明を識別できただけでなく、現成理論がない状況でも独自性の高い証明論理を構築できることが分かったのです。
加法数論の難題を解く:指数関数的から多項式的への飛躍
このテストの目的は、数学者メル・ナタンソン氏が提示した「和集合直径の上界評価」に関するものです。以前にはマサチューセッツ工科大学(MIT)の生徒であるアイザック・ラジャゴパール氏が、この上界が指数関数的に増加することを証明していました。しかしゴウアーズ氏の指導の下、チャットGPT 5.5 Proは驚くべき自己進化を遂げました。
最初の試みでは、モデルはわずか16分で上界データを初步的に改善しました。その後、モデルは「多項式境界」の存在について強い信頼を持ち、いくつかの重要な技術的命題を自主的に検証しました。最終的には、約1時間にわたる思考と自己修正を経て、モデルは完全な証明案を提出しました。アイザック・ラジャゴパール氏は審査後に、この証明が論理的に完璧であり、その核心的な考え方は「非常に独創的かつ巧妙」だったと感嘆しました。たとえ人間の数学者が何週間も考えても得られない結果であっても、これほどの成果は誇るべきものです。
学術倫理の新たな課題:AIで生成された論文は誰のものですか?
AIがこのような「博士レベル」の創造的研究能力を見せると、学術規範や教育システムに関する深い議論が沸騰しています。ゴウアーズ氏は、これらのAIによって生成された成果が、完全に主要雑誌の掲載基準に達していることを指摘しましたが、現在の学術体系はそれらを受け入れる準備ができていません。例えば、論文の前刷りプラットフォームarXivは現在、AIが作成した内容を明確に受け入れていないため、これらの価値ある発見が「配信困難」に陥る可能性があります。
