何が起きたか
OpenAIの内部システムが、滑らかな流体運動が有限時間で特異点に崩壊し得ることを証明し、ナビエ・ストークス・ミレニアム懸賞問題を解決した。
なぜ重要か
この問題は約90年間未解決だった。OpenAIは解説とLeanによる形式的証明を公開したが、賞金は請求していない。
注目点
数学コミュニティが証明を受け入れるかが焦点。OpenAIはモデルがGPT‑6 Astraより大幅に高性能だと主張する。
誰に効くか数学者と流体力学研究者は証明の検証が必要だ。AI研究者やビジネスリーダーは、科学発見におけるAI能力のさらなる実証に注目すべきだ。
こういう要約が、毎朝あなたのメールに届きます。
OpenAIの発表はAI推論の大幅な飛躍を示す。内部モデルはベンチマークでGPT‑6 Astraを上回る。開始は他機関の解決観測がきっかけで、マルチエージェントシステムは490万メッセージと3000億出力トークンを処理した。Leanによる形式化が厳密性を高め、OpenAIはLevent AlpögeとTristan Buckmasterによる関連オイラー問題の同時進行研究も認めている。この成果はAIが数学の最前線課題に挑めることを示すが、受け入れは査読と数学コミュニティの検証次第だ。
業界と使っているAIツールを選ぶと、仕事に関係するニュースが毎朝届きます。
登録無料・Googleアカウントなら30秒・いつでも解除できますAITodayについて →
この記事についてわからないことをAIに質問できます。AIはこの記事・AIToday の過去記事・Wikipedia を読み、出典を付けて答えます。Q&Aはこのページに公開され、他の読者も読めます。
このようなAIの動きを、御社の業界・競合に合わせて毎朝届ける法人プランもあります → 詳しく見る
Magic Momentが「Magic Moment Playbook」向けMCPサーバー提供を開始し、ClaudeやChatGPT、Microsoft CopilotなどMCP対応アシスタントから営業記録を参照可能にし…
10月28日にラスベガスで開催されるOracle AI Worldを前に、OracleのJuan Loaiza氏はガードレールだけでは不十分だと述べた
Sam Altman氏が共同創業したWorldは今週、人間であることの証明をAIエージェントに紐付けられるツールを発表したと製品責任者のTiago Sada氏がSemaforに語った
単距離問題の証明への論評で、OpenAIに最近採用されたJacob Tsimerman氏は、AIの強みは数学者よりも過酷な水域で長くプレーし、圧倒されない点にあると述べた
METRとRedwood ResearchがOpenAIに3週間オンサイトで入り、GPT-5.5クラス以上のモデルによるResponses APIトラフィックの推定6〜25%が監視対象外だったと判明
Anthropicは、未公開の研究モデルが能力とアラインメントでMythos 5.1を上回り、進行中の攻撃を自ら停止できた割合は67%で、Opus 5.5の10%を大きく上回ると発表した
