
何が起きたか
OpenAIは9月上旬、ナビエ・ストークス方程式の166ページにわたる可能的証明を発表し、ディエゴ・コルドバとルイス・マルティネス=ソロアの手法に沿ったと述べた。
なぜ重要か
公表された手法が証明と一致しなければ、スペイン人数学者らの研究との関連は表面的なものにとどまり、OpenAIが証明のどこまでを実際に説明できるのか疑問が生じる。
誰に効くかまず影響を受けるのは数学者と形式証明の査読者だ。説明された手法が実際の手順と一致しない可能性がある166ページの証明を検証せねばならず、どの着想がどこから来たのかをたどる明確な手段もない。
こういう要約が、毎朝あなたのメールに届きます。
OpenAIのナビエ・ストークスへの取り組みには、異例なほど大掛かりな仕組みが伴った。約1万のモデルインスタンスをおよそ88時間、1300億トークンにわたって動かしたのだ。しかしOpenAI研究者のノーム・ブラウンによれば、その巨大なエージェント群が何に寄与したのかは実際には誰も分かっていない。その規模での挙動は研究されておらず、数千のエージェントで体系的な比較テストを回すのはコストがかかりすぎるからだ。ブラウン自身、成功のうちマルチエージェント構成によるものは10パーセント未満だとし、こうしたシステムは新しく派手で不相応に評価されやすいと述べる。本当に重要なのは、基盤モデルが長期にわたりタスクをやり抜き、並列で動く能力だという。
由来をめぐる問題は別だが関連している。公表前、NYUの数学者トリスタン・バックマスターは、OpenAIが自分とAnthropicのレヴェント・アルプーゲが公開モデルで行った研究の上に築いたと非難し、OpenAIはこれを否定した。高等研究院のカミッロ・デ・レッリスは、決定的な答えを出すのはおそらく不可能だと話す。言語モデルはブラックボックスであり、その同じ不透明さが証明の着想がどこから来たのかを言いにくくしている。
一方で、出力の量がこの分野に負荷をかけている。10月上旬、OpenAIはさらに約400件の結果を緩い集合としてGitHubで公開し、多くの数学者が分野を安っぽくするとして反発した。クレイ数学研究所は公表以来、元の証明を査読してきたが、手法をめぐる論争は、査読が証明の正しさだけでなく、それが実際に何なのかをも決着させねばならないことを示している。
業界と使っているAIツールを選ぶと、仕事に関係するニュースが毎朝届きます。
登録無料・Googleアカウントなら30秒・いつでも解除できますAITodayについて →
この記事についてわからないことをAIに質問できます。AIはこの記事・AIToday の過去記事・Wikipedia を読み、出典を付けて答えます。Q&Aはこのページに公開され、他の読者も読めます。
研究チームは欠陥を1つずつ隠した合成作業ログ1,600件をモデルに与えた

Qiita記事がCrescendoを模擬実装で検証し、目的を1回送る単発評価は成功率0.0%、最大10往復・取り消し4回では84.7%になったと報告した

AgentsViewはClaude Code、Codex、Cursor、Copilot、Geminiなど60超のエージェントのローカルログを自動検出し、モデル別・日別にトークン使用量とAPI料金換算の推定コストをグラフ化…

Evo 2やGenos、Google DeepMindのAlphaGenomeなどのゲノム基盤モデルはDNA配列から相関を学習するが、エディンバラ大学のWendy Bickmore氏は、すべての細胞種とその経時変化に関す…

Deutsche Bank Researchは、超知能AIが2030年までにほぼすべての認知課題で人間の専門家を上回る可能性があり、企業競争と世界経済を変える潜在力があると予測した

MicrosoftのAI研究部門が2兆パラメータのベースモデル「MAI-Base-2」の詳細を公開した