OpenAI、ミレニアム懸賞問題「ナビエ・ストークス方程式」をAIが解決したと発表　数学者は経緯に反発

OpenAIが、社内未公開モデルによるミレニアム懸賞問題「ナビエ・ストークス方程式」の解明を発表。先行研究者から不正疑惑が浮上し、論争となっている。

• OpenAIが、ミレニアム懸賞問題「ナビエ・ストークス方程式」の解決証明をAIが生成したと発表しました。
• 同社は、証明の解説とAIによる形式化の両方を公開しています。
• しかし、関連成果を先行公開した数学者から、発表経緯を巡り反発が出ています。
• OpenAIの社内モデルは、約1万個のエージェントを88時間稼働させ、約3.4億円の計算コストで結論に至ったと説明しています。
• 数学コミュニティによる独立した検証が、成果の妥当性を判断する上で今後重要となります。