2026年9月11日 金曜日
AI時短ラボ
注目の一本研究

OpenAIが「AIがナビエ・ストークスを解いた」と発表──同じ日に数学者が公にした「パクられた疑惑」、何が証明され、どこまで検証されたか

OpenAIは2026年9月8日、ナビエ・ストークス方程式のミレニアム懸賞問題について、滑らかな外力つきの有限時間爆発(公式問題文の主張(C)(D))を166ページの論文とLean形式証明で公開した。約1万エージェント・約88時間・約1300億出力トークン。同じ日、この問題を約1年進めてきたNYUのTristan Buckmaster教授が、下書きを置いていたCodexのデータが学習に使われたかをOpenAIに尋ねて答えを得られなかったこと、共著者のAlpögeを著者から外す提案を受けたことを声明で公にした。OpenAIは「特定のユーザーデータは参照していない」と「匿名化データの寄与は排除できない」を同じ文章で述べている。

本線の記事

動画一覧

最新ニュース

一覧
DeepSeek-V4.1-Flash公開──出力100万トークン0.6ドル、KVキャッシュは1トークン890バイトの記事画像
モデル09.10読了15

DeepSeek-V4.1-Flash公開──出力100万トークン0.6ドル、KVキャッシュは1トークン890バイト

出典 ─ DeepSeek公式 Change Log(
ChatGPT Images 2.5登場──無料含む全プランに今日から、改善4つと新機能4つ、APIはFlare/Sunburstの2モデルでGPT-Image-2と同額の記事画像
プロダクト09.08読了16

ChatGPT Images 2.5登場──無料含む全プランに今日から、改善4つと新機能4つ、APIはFlare/Sunburstの2モデルでGPT-Image-2と同額

出典 ─ OpenAI公式ブログ(2026-09-08)
エージェントの評価軸に「主体性の保全」を置く──ComBodied Agentsとベンチマーク CombodiedBench を読むの記事画像
研究09.08読了18

エージェントの評価軸に「主体性の保全」を置く──ComBodied Agentsとベンチマーク CombodiedBench を読む

出典 ─ ComBodied Agents: a Ne
NVIDIAがオハイオ州の巨大データセンターを「自社AI計算資源の独占ホスト」に組み替え──OpenAIは8IT-GWの「顧客」という立場にの記事画像
業界09.08読了11

NVIDIAがオハイオ州の巨大データセンターを「自社AI計算資源の独占ホスト」に組み替え──OpenAIは8IT-GWの「顧客」という立場に

出典 ─ NVIDIA公式ニュースルーム
『robots.txtより厳格な』新ポリシーファイルAGENTS.TXTのIETFドラフト、参考文献が架空だったの記事画像
研究09.07読了13

『robots.txtより厳格な』新ポリシーファイルAGENTS.TXTのIETFドラフト、参考文献が架空だった

出典 ─ IETF Datatracker「draft
『コンテナランタイムは汎用ワークロード向けに作られた、AI推論は汎用ワークロードではない』──Basetenの専門チームを求人票から読むの記事画像
研究09.07読了14

『コンテナランタイムは汎用ワークロード向けに作られた、AI推論は汎用ワークロードではない』──Basetenの専門チームを求人票から読む

出典 ─ Ashby求人ボードAPI「Baseten:
1タスク0.07円でARC-AGI-1を解く150Mモデル──BDH-CQは「言葉にしない推論」で費用対精度の記録を更新したの記事画像
研究09.07読了18

1タスク0.07円でARC-AGI-1を解く150Mモデル──BDH-CQは「言葉にしない推論」で費用対精度の記録を更新した

出典 ─ BDH-CQ: In-Context Lea
ByteDanceが「見ながら聞きながら話す」全二重AIを実運用投入──音声だけのGPT系リアルタイムAIとの違いはどこにあるかの記事画像
モデル09.07読了17

ByteDanceが「見ながら聞きながら話す」全二重AIを実運用投入──音声だけのGPT系リアルタイムAIとの違いはどこにあるか

出典 ─ ByteDance Seed公式ブログ

特集・使ってみた

ラボのツール

すべて
AIツール早見表
使える

AIツール早見表

45ツールを用途別・出典付きで整理。

ツールを開く
AIモデル比較マップ
使える

AIモデル比較マップ

主要モデルの性能とコストを散布図で一望。

ツールを開く
百鬼夜行大合戦
使える

百鬼夜行大合戦

妖怪軍で武士の城を攻めるブラウザ合戦ゲーム。AIと2日で制作。

ツールを開く
Xポスト構造チェッカー
遊べる・近日公開

Xポスト構造チェッカー

公開アルゴリズム構造でツイートを診断。

今すぐ遊ぶ

AI質問箱

AIについての疑問・相談を無料で受け付けています。 回答はサイトで公開され、同じ悩みを持つ方の参考になります。

質問箱を見る →

AI導入相談

「AIで業務を効率化したいけど何から始めれば?」 企業・チーム向けの有料コンサルティング。初回ヒアリング無料。

詳細を見る →

新しい記事をメールで受け取る

AIの新しい発表を、公式資料にあたって数字を確認したうえで届けます。盛らない・出典を明記する・確認できていないことは書かない、を守ります。