AIが数学の超難問に到達か
米OpenAIは9月8日（現地時間）、数学界の超難問であるミレニアム懸賞問題の1つ「ナビエ・ストークス方程式の存在と滑らかさ」について、同社の未公開AIモデルが解決する証明を生成したと発表しました。この発表は、AIが人類の未解決科学領域に到達した可能性を示す歴史的なマイルストーンとなり得る一方で、数学界からはその研究プロセスの経緯を疑問視する声が上がっており、波紋を広げています。
未公開の超高性能モデルと膨大な計算資源
OpenAIの発表によると、今回の証明を生成したのは、同社が開発中の「GPT-6 Astra」よりも大幅に高性能とされる社内の未公開モデルです。このモデルは、約1万個のエージェントを並行して動かして約88時間後の5日に結論に到達したとされています。
OpenAIの最高研究責任者（CRO）であるマーク・チェン氏は、計算コストが数百万ドル規模だったと説明しました。同社はミレニアム懸賞の100万ドルの賞金を請求するつもりはないとしている。
数学界からの反発と経緯への疑問
この画期的な発表に対し、米ニューヨーク大学（NYU）の数学者トリスタン・バックマスター氏が、OpenAIの取り組みの経緯を問題視する声明を公開しました。
バックマスター氏が指摘する具体的な問題の詳細は、現時点ではOpenAIと学術界の間のコミュニケーションや、研究の進め方に関する透明性に焦点を当てたものとみられます。AI開発企業が学術的なプロセスを十分に経ずに、突如として歴史的な難問の解決を宣言したことに対し、既存の数学コミュニティが警戒感や不信感を抱いている構図が浮き彫りになっています。
AIによる学術研究の加速と今後の課題
今回の出来事は、AIが単なる文章生成やプログラミングの補助にとどまらず、人類が何世紀も解決できなかった高度な数学的・科学的課題を自律的に解決できる段階に達しつつあることを示唆しています。
しかし、生成された証明が本当に正しいのか、数学的に厳密な検証に耐えうるのかは、今後の第三者による査読や検証を待つ必要があります。また、学術的な発見におけるAIの役割や、企業主導の研究がもたらすコミュニティとの摩擦は、今後のAI開発における重要な議論のテーマとなるでしょう。
OpenAIの未公開モデルが示した圧倒的な計算能力と、それに対する数学界の反応は、テクノロジーの急速な進化と伝統的な学術プロセスとの間にある深い溝を象徴しています。
コメント