ARTICLE 技術
ログイン

OpenAI、ミレニアム懸賞問題「ナビエ・ストークス方程式」の難問を解決したと発表

OpenAIは米国時間9月8日、数学の7大難問「ミレニアム懸賞問題」の1つ、ナビエ・ストークス方程式の存在と滑らかさの問題を、社内のAIシステムで解決したと発表した。流体の運動を記述するこの方程式について、当初は滑らかだった流れでも、有限の時間内に流速が際限なく増大する場合があることを証明したという。証明の解説と、定理証明支援系「Lean」で形式化した証明を公開した。

CNET Japan 2026年09月09日 06:37

この記事のキーワード

AI・人工知能 米国 OpenAI / GPT OpenAI AIシステム ミレニアム Lean ナビエ・ストークス方程式 ナビエ・ストークス 形式化 ミレニアム懸賞 定理証明支援系 定理証明支援
グラフで繋がりを見る

同じキーワードの記事

共有しているキーワードが多い順

OpenAI、ミレニアム懸賞問題「ナビエ・ストークス方程式」をAIが解決したと発表 数学者は経緯に反発

はてなテクノロジー 09/09 01:19
AI・人工知能 OpenAI / GPT OpenAI ミレニアム懸賞 ミレニアム ナビエ・ストークス方程式 ナビエ・ストークス

OpenAIが「GPT-6 Astraより高性能なモデル」を用いて数学の難問「ナビエ・ストークス方程式」の解決を主張、一方で人間の数学者の成果を流用した疑惑も生じる

GIGAZINE 09/09 04:03
AI・人工知能 OpenAI / GPT OpenAI ナビエ・ストークス方程式 ナビエ・ストークス

「2020年代末までにAIで人類滅亡の恐れ」--Anthropic研究者が退社、開発競争に警鐘

CNET Japan 09/09 06:15
AI・人工知能 OpenAI / GPT 米国 OpenAI

ChatGPT Images 2.5公開 照明や質感を再現し、編集自在な画像生成

Impress Watch 09/09 00:57
AI・人工知能 OpenAI / GPT 米国 OpenAI

報道機関が著作権侵害でOpenAIとMicrosoftを提訴

GIGAZINE 09/07 02:23
AI・人工知能 OpenAI / GPT OpenAI AIシステム

OpenAI、次世代モデル「GPT‑6 Astra」公開 "世界最高の知能"

Impress Watch 09/04 01:33
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、「GPT-6」（Astra）正式発表--数日中にChatGPTへ展開 追加料金不要

CNET Japan 09/03 22:22
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、次世代AIモデル「Astra」はまもなく 今後は「ペースを落とす」

Impress Watch 09/02 11:00
AI・人工知能 OpenAI / GPT 米国 OpenAI

ChatGPT広告、年10億ドル超え サブスク・企業・APIに並ぶ収益の柱に

Impress Watch 09/01 02:45
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、Cursorへのモデル提供を終了　理由は「SpaceXによる買収」

Impress Watch 08/29 03:50
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、自社チップ「ハラペーニョ」の性能を公表 電力効率やレイテンシ向上

Impress Watch 08/26 01:28
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、次世代モデル開発を「減速」　安全対策を最優先に

Impress Watch 08/19 01:15
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、AIの開発ペースを一時減速　最新モデルの強化学習を2週間停止　暴走リスクの高まりで

CNET Japan 08/18 22:15
AI・人工知能 OpenAI / GPT 米国 OpenAI

AIコーディングを「より速く省トークンに」　VS Codeチームが実証、“GPT-5.5向けプロンプト”の改善効果

はてなテクノロジー 08/13 06:54
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、次期モデル「Astra」の開発を一部停止--「最高水準のサイバー攻撃能力に達した可能性」

CNET Japan 08/10 05:15
OpenAI AI・人工知能 OpenAI / GPT 米国

OpenAIが最新モデル「GPT-5.6」公開、ChatGPTなどで利用可能に

CNET Japan 07/10 01:22
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、最上位モデル「GPT 5.6」が一般公開　最高性能を低コストに

Impress Watch 07/10 01:19
AI・人工知能 OpenAI / GPT 米国 OpenAI

「ChatGPT Work」登場　Codexから仕事のためのAIエージェント環境に進化

Impress Watch 07/10 00:38
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、米政府に株式5%譲渡を提案か　約6.8兆円の巨額取引の思惑とは

CNET Japan 07/03 01:17
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI「GPT-5.6」発表　最上位「Sol」など3モデルを政府要請で段階提供

Impress Watch 06/27 01:57
AI・人工知能 OpenAI / GPT 米国 OpenAI
CNET Japanで元記事を読む