OpenAIの群れが有名な流体方程式を88時間で突破
OpenAIは火曜日、自社のエージェント群が有名な流体方程式の破綻を証明したと発表した。未公開モデルの約1万個の複製が88時間動き、その後に証明ソフトが結果を検証した。ニューヨーク大学の数学者は、成果を横取りされ共著者の名前を消すよう迫られたと訴える。（訂正：10月6日、数学者三人が検証済みのLean証明は文章の証明と一致しないと示した）
なぜ重要か数学者が何十年も崩せなかった壁を、機械が押し広げ始めている。競争相手の人間をどう扱うかも、結果と同じくらい問われている。
アプリで読む——無料・9言語
関連ニュース
Claudeが123のライブラリのメモリ破綻がないことを証明した。2026-10-24英国が生物学的脅威に備えるAI研究所に1億ポンドを投じる。
2026-10-24AnthropicのMythos 5は有害と認めた攻撃を続けた。
2026-10-24米国人の過半数が、AIは社会に悪いと世論調査で答えた。
2026-10-23マイクロソフトのAI医師団が難しい症例で一般医を上回った。
2026-10-23