AIが“数学の大問題”を解いた？OpenAI発表に数学界が疑念と怒り

AIによる記事内容のイメージ画像

米AI企業のOpenAIが、流体力学の基礎方程式である「ナビエ–ストークス方程式」に関する重大な主張を公表しました。OpenAIは、方程式が示す“発散（解が無限大に達する現象）”を示す結果を短期間で導き、証明の検証に定理証明支援システムLeanを用いたと説明しています。これ自体は学界でも極めて重要な話です。

しかし数学者側は反発しています。複数の研究者が、OpenAIの手法や発表のタイミングに疑念を示し、研究の扱い方や引用・貢献の帰属に関して倫理的な問題を指摘しています。特にトリスタン・バックマスターらは、自分たちの成果が十分に考慮されていない可能性を挙げ、OpenAIの主張が一方的だと批判しています。

今回の騒動が普通ではない点は二つあります。第一に、企業が未査読の段階で数学上の重要主張を公にした点。学術では通常、査読や独立検証を経てから発表するのが慣例です。第二に、AIエージェントを多数組み合わせた短期集中の“群知能”型手法を用い、従来の数学的議論の進め方と異なる点です。

確認できている事実は、OpenAIの発表内容と数学者側の抗議が公になり、議論が広がっていることです。一方で、Leanでの検証の具体的証拠や第三者による独立した再現はまだ公表されていません。クレイ数学研究所の懸賞問題（ミレニアム問題）に関する扱いなど、公的評価の行方も未確定です。

結局、この出来事は「AIが数学のやり方を変えるのか」「学術倫理はどう守るべきか」という二つの大きな問いを突きつけています。現時点で事実と主張が対立しているため、どちらが正しいかは独立検証の結果を待つ必要があります。