OpenAIが数学の超難問「解決」を発表、海外掲示板で賛否分かれる
姉妹サイトの新着
海外掲示板4chanの数学板で、OpenAIが「ナビエ・ストークス方程式」のミレニアム懸賞問題を解いたとする発表が話題になっていた。この問題は流体の運動を記述する方程式が破綻しうるかどうかを問うもので、約90年間未解決とされてきたもの。OpenAI側は次世代モデルを使ったAIエージェント群が88時間・約1万体規模の協調で証明にたどり着いたと説明しており、計算コストは約1500万ドルと報じられている。スレッドでは「数学者はもう不要になるのか」という声がある一方、「証明が正しいか最終的に判断できるのは結局人間だ」という反論や、研究データの扱いを疑う声も上がり、意見が割れた。
数学の最前線にある最も難解な問題の一つ、ナビエ・ストークス方程式のミレニアム懸賞問題について、我々は解答を共有する。この証明は、GPT-6 Astraを大きく上回る性能を持つOpenAIの次世代モデルを用いたエージェント群によって作成された。この問題は、ナビエ・ストークス方程式でモデル化された滑らかな三次元流体の運動の記述が破綻しうるかどうかを問うもので、約90年間未解決のままだった。
出典: x.com / 元記事はこちら
他サイトの新着
この話題の背景と論点
ナビエ・ストークス方程式の存在と滑らかさ問題は、クレイ数学研究所が2000年に選定した7つのミレニアム懸賞問題の一つで、賞金は100万ドル。ただし懸賞規定では、証明が正式に発表・査読され、数年間異論が出ないことが受賞の条件とされており、スレ内で「賞金は受け取らないと書いてある」と指摘されていたのは、この手続き上の制約によるとみられる。スレで意見が割れたのは、AIが生成した証明の正しさを最終的に誰がどう検証するのかという点と、研究データの扱いを巡る不信感の2点で、AIによる数学研究が現実の工学やシミュレーションにすぐ役立つかどうかとは別の議論だったことは押さえておきたい。
※本記事は海外掲示板 4chan /sci/ (Science & Math) のスレッド「We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of m」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。
まだコメントはありません。