渦の中心で速度が無限大になる「爆発」。ナビエ・ストークス方程式のミレニアム問題に、NYUのバックマスター氏とAnthropicのアルプオゲ氏がAIとLeanで挑み、オイラー方程式などの爆発証明を発表しました。だが直後、OpenAIも酷似した結果を主張し、著者からの排除まで持ちかけられたと本人が告発。数学とAI、そして人間同士の信頼が同時に試された72時間の記録です。
〇Statement by Tristan Buckmaster（2026年9月8日）
https://cims.nyu.edu/~tristanb/statement.pdf
〇On the Navier–Stokes Millennium Prize Problem（OpenAI、2026年9月8日）
https://openai.com/index/navier-stokes-solution/
〇OpenAI claims blockbuster math breakthrough amid swirl of controversy（Scientific American、2026年9月）
https://www.scientificamerican.com/article/openai-claims-blockbuster-math-breakthrough-amid-swirl-of-controversy/
#数学 #AI #OpenAI #Anthropic #ナビエストークス方程式 #オイラー方程式 #ミレニアム懸賞問題 #Lean #形式検証 #数学者 #未解決問題 #フィールズ賞 #クレイ賞 #流体力学 #人工知能 #テクノロジー #科学ニュース #証明 #ブロウアップ #数理科学 #イノベーション #サイエンス #大規模言語モデル #数学翻訳家 #数学の翻訳家
感想
まだ感想はありません。最初の1件を書きましょう！