IT・AI
2026年9月9日
OpenAIが数学の超難問「解決」を発表、海外掲示板で賛否分かれる
海外掲示板4chanの数学板で、OpenAIが「ナビエ・ストークス方程式」のミレニアム懸賞問題を解いたとする発表が話題になっていた。この問題は流体の運動を記述する方程式が破綻しうるかどうかを問うもので、約90年間未解決とされてきたもの。OpenAI側は次世代モデルを使ったAIエージェント群が88時間・約1万体規模の協調で証明にたどり着いたと説明しており、計算コストは約1500万ドルと報じられている。スレッドでは「数学者はもう不要になるのか」という声がある一方、「証明が正しいか最終的に判断できるのは結局人間だ」という反論や、研究データの扱いを疑う声も上がり、意見が割れた。
数学の最前線にある最も難解な問題の一つ、ナビエ・ストークス方程式のミレニアム懸賞問題について、我々は解答を共有する。この証明は、GPT-6 Astraを大きく上回る性能を持つOpenAIの次世代モデルを用いたエージェント群によって作成された。この問題は、ナビエ・ストークス方程式でモデル化された滑らかな三次元流体の運動の記述が破綻しうるかどうかを問うもので、約90年間未解決のままだった。
出典: x.com / 元記事はこちら
2
海外の名無しさん
2026-09-08 17:51
このモデルは多くのベンチマークで飛躍的な性能向上を見せており、学習はまだ続いている。社内のモデル群は、約1万体のAIエージェントを協調させて88時間でナビエ・ストークス方程式の解にたどり着いた。
3
海外の名無しさん
2026-09-08 17:52
もう人間は用済みだな。ここまで来たのは驚きだ。生きてるうちに『ジェットソンズ』みたいな未来を見られそうだ。
6
海外の名無しさん
2026-09-08 17:54
誰も本当のことを教えてやるなよ
9
海外の名無しさん
2026-09-08 17:57
＞ジェットソンズみたいな未来 なんでそこで満足するんだ…?
4
海外の名無しさん
2026-09-08 17:53
もう後戻りはできないんだろうな
5
海外の名無しさん
2026-09-08 17:53
で、結局(方程式は)破綻しうるのか?
7
海外の名無しさん
2026-09-08 17:55
正直、ジェットソンズ的な未来でもスターウォーズ的な未来でもどっちでもいいわ
11
海外の名無しさん
2026-09-08 17:59
＞スターウォーズ的な未来 なんでそこで満足するんだ…?
36
海外の名無しさん
2026-09-08 18:54
できて『アイ・ハヴ・ノー・マウス』(AIに支配された終末世界を描いた話)くらいが関の山だな
8
海外の名無しさん
2026-09-08 17:56
機械が導いた証明から、一体どんな知見が得られるんだ?
14
海外の名無しさん
2026-09-08 18:08
すぐに言えるのは、ナビエ・ストークス方程式には何か抜け落ちている部分があるってことだ。現実の流体はそんな挙動をしないからな。
10
海外の名無しさん
2026-09-08 17:57
数学者はもうお役御免だなw 何年も前に純粋数学の学位なんて茶番だと見切りをつけといて正解だった
12
海外の名無しさん
2026-09-08 18:02
＞数学者はもうお役御免 いや違う。この手のモデルは間違った証明を大量に生成したりズルをしたりする。証明が正しいか確かめるには結局人間が要る。所詮は高性能な電卓だ。
28
海外の名無しさん
2026-09-08 18:43
＞数学者はもうお役御免 仕事として数学をやってたなら確かに終わりかもな。でも学びたくてやってる人間はこれからも続けるだろ
13
海外の名無しさん
2026-09-08 18:03
俺が解いてAIに教えてやったのに、解答を横取りされた
16
海外の名無しさん
2026-09-08 18:12
アルトマンの勝ち、ダリオの負け
18
海外の名無しさん
2026-09-08 18:13
（あくび）リーマン予想を証明したらまた呼んでくれ
19
海外の名無しさん
2026-09-08 18:15
＞リーマン予想を証明したら それはIPOのタイミングまで温存するんだろうよ
20
海外の名無しさん
2026-09-08 18:20
つまりミレニアム懸賞問題って、ナビエ・ストークスに欠陥があることを証明する問題だったのか?
22
海外の名無しさん
2026-09-08 18:29
待てよ、外力は無限なのか? 時間は有限で力は滑らかだと書いてあるが、力が有限だとはどこにも書いていない。それってミレニアム問題の条件のはずだが。
23
海外の名無しさん
2026-09-08 18:30
(画像)
25
海外の名無しさん
2026-09-08 18:36
＞23 なんでRedditの連中は『解答を盗んだ』とか言って騒いでるんだ? コンピュータが解いた、それだけの話だろ
24
海外の名無しさん
2026-09-08 18:34
でも、ナビエ・ストークス方程式の方が完全に正しくて、現実の流体の方が『間違ってる』としたら?
30
海外の名無しさん
2026-09-08 18:49
＞15 キャリアとしてはもうどうしようもないが、一人の探究者としては違う。それでも知りたいんだ。
32
海外の名無しさん
2026-09-08 18:51
噂では、OpenAIは今回の研究の中心にいた数学者の非公開のCodexセッションデータを使って発表を急いだらしい。正直、あまり褒められた話じゃないな。
34
海外の名無しさん
2026-09-08 18:53
＞非公開のCodexセッションデータ 笑うわ
35
海外の名無しさん
2026-09-08 18:54
＞OpenAIに数学をやらせる ＞OpenAIが自分の数学を使う 身から出た錆だな
38
海外の名無しさん
2026-09-08 18:57
これ、日本のゲームの翻訳者が自分の翻訳を囲い込んでいて、誰かがAIでサクッと訳しちゃうと怒り狂うのと同じ構図だな。＞いやいやいや違う、俺は15年かけて『そのうちやる』つもりだったんだ ＞祖母の看病をしなきゃいけなかったんだ、わかってくれよ
41
海外の名無しさん
2026-09-08 19:02
理不尽に騒いでる部分もあるが、自分の専門分野の節目が投資家向けのパワポ資料のネタにされるのを苦々しく思うのは、数学者として当然の反応だと思う
44
海外の名無しさん
2026-09-08 19:04
時価総額何十兆円の会社が『我々は100万ドルの賞金は受け取りません』ってブログに書いてるくだり、皮肉が効きすぎだろ
53
海外の名無しさん
2026-09-08 19:07
『その分野の数学者たち』は、自分のプライドや終身在職権を気にするより、問題が解かれて前進していることを喜ぶべきだ
45
海外の名無しさん
2026-09-08 19:04
門外漢だけど、間違ってたら訂正してほしい。ナビエ・ストークスって核融合に次ぐレベルの大ブレイクスルーじゃないのか? あと、これって自分の趣味のゲーム開発にどう応用できるんだ?
48
海外の名無しさん
2026-09-08 19:06
いや違う。この証明に実用上の応用はない。ナビエ・ストークスがある状況で破綻するというのは前から疑われていたことで、理論上(実用上ではなく)欠陥のある方程式だってことが確認されただけだ。
50
海外の名無しさん
2026-09-08 19:06
現実の工学やシミュレーションに実用的な影響が出るという意味での大ブレイクスルーではない。数学・物理で最も有名な問題の一つが解かれたという意味で大きいんだ。
46
海外の名無しさん
2026-09-08 19:04
この証明には計算コストだけで約1500万ドルかかったと報じられている
51
海外の名無しさん
2026-09-08 19:06
それ、割と安くね? リーマン予想が桁違いにコストかかるとしても、それでもかなり安い部類だろ
52
海外の名無しさん
2026-09-08 19:07
なんで誰も、こんな誰も気にしないことじゃなくて、建設や清掃みたいな本当に役立つ仕事をAIにやらせないんだ?
55
海外の名無しさん
2026-09-08 19:08
＞清掃の仕事 これからはそれが数学者の仕事になるんだろ
59
海外の名無しさん
2026-09-08 19:13
＞清掃の仕事 どうせ働かない連中をUBIで食わせてやる気なんてないだろうから、これはせめてもの社会貢献ってわけだ
この話題の背景と論点
ナビエ・ストークス方程式の存在と滑らかさ問題は、クレイ数学研究所が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」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。
この記事のリアクション
まだコメントはありません。