📅 2026-09-08の発表 (9/9朝 マニまとめ)
⚡ 〔きょうの要点〕AIエージェントの大群が、90年ものの数学の難問に長い証明を書いた——けど「あの100万ドルの懸賞問題を解いた」ではない。OpenAIがNavier-Stokes方程式の"別バージョン"で成果を出し、その裏で「先にやったのは誰か」のモメごとも進行中。お金の話(Devinの巨額調達)と道具の話(画像生成の高速化)も動いた1日だよ。
1.OpenAI、AI約1万体でNavier-Stokesの難問に証明 — ただし懸賞問題そのものではない
〔何が変わった〕OpenAIが、まだ公開していない内部モデルに約1万体のエージェントを約88時間走らせて、流体の運動を表すNavier-Stokes方程式の「有限時間ブローアップ」(なめらかな渦が有限の時間で無限にとがってしまう現象)の165ページの証明を生成したと発表した。証明はLean(数学の証明を機械が検証する言語)で形式検証まで通したという。⚠ただし注意。今回証明されたのは外力(外から加える力)を許した「破綻する」側で、これは公式問題に並ぶ4つの選択肢のうちの一部にあたる。長年の本命『外力なしでも流れは必ず滑らかか』は未解決のまま。しかも外部の専門家による査読はこれからで、OpenAI自身も賞金は請求しないとしている。
〔なぜ重要〕AIの大群を長時間協調させて、未解決級の難問に「人が読める長い証明+機械チェック」まで出してきた、という到達点だから。ただし手放しの朗報ではなくて、NYUのブックマスター氏とAnthropicのアルペーゲ氏が近い問題の結果を前日に先行公開しており、「著者から外すよう圧力を受けた」という主張と、OpenAI側の全面否定が同時に走っている。成果の中身も来歴も、いまは検証待ちだよ。
〔初心者向け一言〕AIの大群に数学の難題を解かせて、機械チェックまで通した——でも「有名なあの100万ドルの問題を解いた」とまでは言えない別バージョン。しかも「先にやったのは誰か」でモメてる最中なんだ。
【発表】2026-09-08|【ソース】OpenAI公式/Axios(一次で成果は確認・論争は当事者の主張/検証待ち)
OpenAI数学エージェント
2.Devinの会社Cognition、20億ドル超を調達して評価額480億ドルに
〔何が変わった〕自分でコードを書く自律エージェント「Devin」をつくるCognitionが、シリーズEで20億ドル超を調達し、会社の評価額が480億ドルになったと報じられた。リード投資家はa16zとAccelで、NVIDIAを含む大型の顔ぶれも参加。評価額は今年5月の260億ドルから、およそ4ヶ月でほぼ倍になった。収益のラン・レートも5月の約4.9億ドルから9億ドル近くへ伸びたと伝えられている。
〔なぜ重要〕「コードを自分で書くAI」に、実際のお金が桁で集まっている構図が数字で見えるから。480億ドルという値付けは、この分野が面白い実験から、投資家が数百億ドルを賭ける事業カテゴリへ移ったサイン。あなたの隣で動き始めた開発エージェントが、業界の資金地図の真ん中に来たということだよ。
〔初心者向け一言〕プログラミングを代わりにやってくれるAIの代表格が、4ヶ月で会社の値段をほぼ倍にして巨額のお金を集めたよ。AIに開発を任せる流れに、資金がどっと乗ってきたんだ。
【発表】2026-09-08|【ソース】Unite.AIほか(複数媒体が同一数字で一致・報道ベース)
CognitionDevin資金調達
3.OpenAI「ChatGPT Images 2.5」— 生成が最大50%速く、手描きスケッチも読める
〔何が変わった〕OpenAIが画像生成の新モデルChatGPT Images 2.5をChatGPTとAPIで出した。生成の速さを最大50%短縮し、光や質感を自然にし、会話を続けても人物やキャラの見た目が崩れにくくなった。手描きのスケッチを下敷きに使う機能や、フライヤーなどのテンプレートも追加。OpenAIは画像生成が週30億枚を超えたと明かしている。
〔なぜ重要〕画像生成が「作れるかどうか」の段階を過ぎて、速さ・一貫性・使い勝手の勝負に入ったことがはっきり出たから。とくに開発者にはAPI側の高速化と被写体の保ちやすさが効く。週30億枚という規模は、AI画像がもう特別な機能ではなく毎日の道具になったことを示しているよ。
〔初心者向け一言〕ChatGPTのお絵かきが、速く・崩れにくく・手描きの下書きも読めるようになったよ。もうAI画像は特別なことじゃなく、当たり前の道具になってきたんだね。
【発表】2026-09-08|【ソース】OpenAI公式(一次)
OpenAI画像生成ChatGPT
🍬ひとくちメモ
〔Claude Code 2.1.265が公開〕プラグインの入ったフォルダを複数まとめて指定できるようになり、WindowsでファイルのRead/Write/Editが全部拒否されるバグなどが直った。バージョンは2.1.263から一気に2.1.265へ(2.1.264は欠番)。【ソース】CHANGELOG
〔まわりは静かな1日〕Claude側の障害情報や新しい公式発表・ドキュメント更新は、この24時間では見当たらず。大手クラウド(AWS・Azure・Google・Cloudflare)の大規模障害もなし。話題はほぼOpenAI一色だったよ。
ひとくちメモ