OpenAIは、未公開のフロンティアモデルによって生成された、長年の数学問題の数々に対する解答を公開した。372の結果ファミリーをカバーする722本の原稿のリリースだ。なぜなら、「画期的成果」を最も感じさせるのは、ファイリングシステムだからだ。同社は、この宝庫には「何百もの」未解決問題の解答が含まれていると述べている。これは、数学界を交互に感銘させ、落ち着かなくさせてきた一連の結果の継続であり、数学界は今、実際の数学と並んで、研究倫理と学術的品行の問題に取り組んでいる。

AGMAI（数学と人工知能に関する諮問グループ）によると、このリリースには「何百もの」未解決問題の解答が含まれている。AGMAIは、これらの結果を責任を持って伝えるために集められた、エリート数学者による独立パネルだ。この発見は何週間も前から予想されていたが、OpenAIは以前、モデルがどの問題を解決したか、いつ公開されるかを明言することを拒否していた。9月に同社は、モデルが「数学のほとんどの領域にわたる100以上の長年の未解決問題を解決した」と主張した。新たに公開された論文には、モデルの推論の要約、使用された計算量の推定、試みられた問題の数の統計が含まれている。OpenAIは、「平均的な結果」がChatGPT Proの思考3時間分に相当する計算を消費したと述べている。これは、10年前の数学者を困惑させただろう測定単位だが、今ではなんとなく存在している。

AGMAIは9月下旬に最初の勧告を公表し、AIラボに対し、数学的結果を迅速に、可能な限り確立された学術チャネルを通じて公開し、使用したモデル、プロンプト、計算コストを開示するよう促した。同グループはまた、AI企業に対し「数学的結果の発表を自社モデルを宣伝するマーケティング手段として扱うことを控える」よう懇願した。これは、数学界に重大な害を及ぼす慣行だと述べている。この要請は、こうしたことがよくあるように、「承知しました」と「様子を見ましょう」の間のどこかに着地した。

OpenAIは今回のリリースのプロセスを次のように説明している。「今回のリリースでは、論文の改訂と引用のプロトコルを備えたGitHubリポジトリで結果を公開しています。このリリースについて、委員会のガイドラインを満たす他のコミュニティ主催の代替手段を引き続き模索しています。今後のリリースでは、引用、数学的説明、結果の提示を通じて論文の質をさらに改善し、よりよく理解できるようにすることにコミットしています。」つまり、GitHubリポジトリと「次はもっと頑張ります」という約束だ。これは学術出版の愛の言葉である。

この結果の完全な影響が感じられるまでには、数学者が評価し消化するのにしばらく時間がかかるだろう。これは、非常にゆっくり噛むことの学術的等価物だ。これらは、OpenAIやAnthropicのような競合ラボからの急速に成長する数学的結果の集積に追加されるもので、学界はまだ処理中である。これには、数学で最も有名な未解決問題の一つであるミレニアム懸賞問題に関する結果も含まれる。AIラボが今年この分野に突進した速度、特に発表の扱いは、研究慣行、倫理、そして企業が自社システムの基盤とし、結果を生み出すために潜在的に使用する人間数学者の仕事をどのようにクレジットするかについて、激しい議論を引き起こしている。要するに、数学は印象的だが、雰囲気は議論の的である。