ARTICLE 技術
SITE TOP ログイン

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内部モデルがトップ数学者を超越と明かす 学界に未曾有の焦燥感 — BigGo ファイナンス

はてなテクノロジー 09/18 22:34
AI・人工知能 OpenAI / GPT OpenAI ナビエ・ストークス方程式 ナビエ・ストークス

自ら、問いに向かい合うことの有難さについて - ニューロサイエンスとマーケティングの間 - Between Neuroscience and Marketing

はてなテクノロジー 09/13 12:03
AI・人工知能 OpenAI / GPT ナビエ・ストークス方程式 ナビエ・ストークス OpenAI

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

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

医療AIの差は、患者データの「出口」で決まる

日経メディカル 10/28 15:00
AI・人工知能 OpenAI / GPT 米国 OpenAI

AIが見つけた新薬候補、ロボットが合成 元OpenAI幹部が「創薬自動化」で新会社

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

OpenAI、実務遂行能力を大幅に向上した「GPT-6.1 Terra」

Impress Watch 10/27 03:25
AI・人工知能 OpenAI / GPT 米国 OpenAI

「ChatGPTは子どもに有害」米国8州がOpenAIを提訴

ASCII.jp 10/15 07:55
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、社内AIがリーマン予想の関連難問を証明と主張 論文722本をGitHubで公開

はてなテクノロジー 10/07 01:43
AI・人工知能 OpenAI / GPT OpenAI Lean

ChatGPT、画像生成中にビジュアル広告 米国でテスト開始へ

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

5分の1の料金でAstraに迫る「GPT-6.1 Sol」公開 前バージョンから1週間

Impress Watch 09/29 23:53
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAIも24時間動くAIエージェント「Dots」 Astraが作業を学び進める

Impress Watch 09/29 23:12
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、「GPT-6.1 Sol」発表 Astraに迫る性能を5分の1の料金で

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

広がる「AIで人類滅亡」論、サム・アルトマン氏が語ったこと--2日後に先端モデルの訓練停止も公表

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

ChatGPT、「常時働くAI」に進化か OpenAIの新発表迫る

ASCII.jp 09/28 02:00
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、「GPT-6 Sol」「Luna」公開 Astra並の性能でコストはGPT-5.6の半額

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

OpenAI、フロンティアAIの国際標準づくりを米国主導で進めるよう提言 「RSIはまだ起きていない」

はてなテクノロジー 09/22 03:53
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、9月29日に新AIエージェントを発表へ──ソフトウェア株のパニックは再来するか | Forbes JAPAN 公式サイト（フォーブス ジャパン）

はてなテクノロジー 09/22 01:10
AI・人工知能 OpenAI / GPT 米国 OpenAI

盛り上がる「AI減速」論に「勝手にどうぞ。許可を求めるな」 トランプ政権幹部

Impress Watch 09/14 10:10
AI・人工知能 OpenAI / GPT 米国 OpenAI

OpenAI、金融機関向けに「ChatGPT for Financial Services」を提供

Impress Watch 09/11 04:50
AI・人工知能 OpenAI / GPT 米国 OpenAI
CNET Japanで元記事を読む