OpenAI、数学の難問を解決か―学者から批判
Original : OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
Pourquoi c'est important
AIによる数学の重要未解決問題の解決は、科学研究におけるAI活用の転換点となりうる。
OpenAIは2026年9月8日、AIがNavier-Stokes方程式を解いたと発表した。しかしNYU数学者Tristan Buckmasterは、OpenAIが他研究者の進捗を知った上でリソースを投入し、クレジット操作を試みたと主張している。
OpenAIは、流体力学を記述する200年来の未解決問題「Navier-Stokes方程式」をAIが解決したと発表した。同社の数学者・AI研究者Sebastien Bubeckによると、8月28日に高度な数学能力を持つ新モデルの訓練を開始。Anthropicが同問題で進展を見せているとの情報を受け、1,000以上のエージェントを50時間以上投入した結果、解が得られた。証明はLean言語で形式化されており、計算コストは「数百万ドル規模」（研究部門長Mark Chen）に達したという。一方、NYU数学者Tristan BuckmasterとAnthropicのLevent Alpögeは月曜日、関連する数学的進展を発表。BuckmasterはOpenAIが自分たちのCodexログにアクセスした可能性を指摘し、クレジットからAlpögeを外す「提案」を受けたと主張した。OpenAI側はCodexプロンプトの閲覧を否定し、Buckmaster・Alpögeの業績を称えると述べた。