#AI数学 の記事一覧(3)

AI
2026-09-08 ・ Wired

ナビエ・ストークス方程式をAIが解いた?OpenAIの1万エージェント投入と、クレジット争いの論点整理

OpenAIは、200年前から知られる流体の基礎方程式「ナビエ・ストークス方程式」についてAI生成の解を得たと発表しました。1000体超から最大1万体のエージェントを50時間以上動かし、計算コストは「数百万ドル規模」(Mark Chen氏)。一方でNYUの数学者Tristan Buckmaster氏は、自身とAnthropicのLevent Alpöge氏の取り組みを知ったOpenAIが急いで着手し、クレジット(功績の帰属)に影響を与えようとしたと主張しています。

AI
2026-09-08 ・ The Decoder

ナビエ・ストークス問題でOpenAIとAnthropic系数学者が衝突——AI証明競争が示す「顧客データと成果の帰属」リスク

数学者Tristan Buckmasterが、OpenAIから共著者の外し方や公表形式をめぐって圧力を受けたと公表しました。OpenAI側はこれを否定し、約1万のAIエージェントが88時間で作成しLean形式化したナビエ・ストークス方程式の証明を発表。計算コストは「数百万ドル規模」(Mark Chen)とされます。

AI
2026-07-11 ・ The Decoder

GPT-5.6 Sol Ultraが50年来の数学予想を1時間で証明——AIが「解ける難問」の正体

OpenAIは、GPT-5.6 Sol Ultraが約50年間未解決だったグラフ理論の予想を1時間未満で証明したと発表しました。数学者トーマス・ブルーム氏はこの証明を「非常に美しい」と評価する一方、1983年の先行研究への引用が一切ない点を問題視しています。

← タグ一覧へ