AIと数学

ナビエストークス　お前もか


AIで没落していく数学界の権威を見守るスレ

リーマンよお前もか

これまでの数学界の研究成果を元に数学者がAIの学習、結果の検証してるんだけどな
AIが独立でやったわけではない

これはよく落ちるスレとは違うかw
ニュースが信じられないなぁ。

>>3 それはもう周回遅れの認識じゃないかな

>>3
AIが無から人間の数学全てを再発見したとは誰も言ってないだろう

そもそも一人で全てやったわけでないのは人間の数学者個人も同じでは？

Taoは導出過程が検証可能じゃないと数学界には意味がないといってる

人間では解けない最高難度の数学の問題、次世代ＡＩが解答か…直前に数学者ら手法公表も「参照せず」
読売

ミレニアム問題が解かれたとして、ナビエ・ストークスの研究をしてない研究者が何の影響を受ける必要があるんだ

将棋がそうなっているように、AIが自立的に問題解いて、出てくるパターンを理論化する。人間は、その中で面白そうなものを本にしたりするようになるんだろう。勿論、拘りのある人は自分でも理論を作りもする。それが数学者の立場を脅かすものになるとは思われない。

藤井・伊藤みたいに最新AIの研究100何手までエミュレートしてる化け物もいるし、
右四間飛車みたいなプロは使わない奇襲戦法でも面白いものは多数あるし、
山崎隆之みたいにソフト使わずに変態戦法生み出す人もいる
プロの知識人がAIに脅かされることはまず無い

力戦の棋士はAIを使わないのか。

寝てる間にAIが数万円かそこらのコストで解いてしまうもんに
情熱そそげられるか、って問題
まあ純粋数学者を志す若者は激減するだろうよ

Statement from AMS Leadership on Navier-Stokes Problem
www.ams.org/news?news_id=7686

AMSが認めた。査読付欧文誌はいいのかな

Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations
terrytao.wordpress.com/2026/09/07/finite-time-blowup-with-smooth-forcing-term-for-the-incompressible-porous-medium-boussinesq-and-incompressible-euler-equations/

TaoはEuler方程式に取り組んでるらしい

ナビエストークスは近似に過ぎないしな
現実の流体が爆発するなら光速超えるからありえない
より現実に近いモデルを構築しそれをAIが解くw

AIが文字得意だからって文字読めなくていいわけではない

>>13
そもそも数学者は「寝てる間にAIが数万円かそこらのコストで解いてしまうもん」を仕事にしているのではない

>>13
技術が進歩してできることが広がったのに、こういう斜に構えた僻みをあちこちで書き込んでる人たちって、何かコンプレックスでも抱えてるのかな？

ヤコビアン予想といい、反例を探す方向性だと
今のAIでも十分強いな

AMSもLeray, Ladyzhenskayaは出してもKato-Fujitaは出さんか
大域解の存在の肯定的方向をAIで出せるのかね

世界トップクラスの大企業が膨大なサーバーを稼働させている
当然、結果が出なかったものがニュースになっているものの数万倍以上はある
生存者バイアスに囚われてはいけない

>>16
それは物理、工学の話、別な話題

「AIでなくなる仕事」ビル・ゲイツが明言　いま始まる“人間の仕事”争奪戦
テレ朝

心配するな職人の仕事しかなくなるｗ

解が爆発するような反例を上手く見つけるアイデア自体は
人間の数学者が数年前に論文にしてたようだ。

この方向性でAIにやらせたのがAnthropicの2人で、
3つの方程式について爆発解を得ることに成功。
自分たちは上記のアイデアをAIに食わせただけ、
みたいな声明も出してるらしい。

で、似たようなタイミングで OpenAI が
ナビエストークスの爆発解を見つけたと発表。
Anthropicと同じ手法らしい。

うーん、AIのひとり立ちはまだ先かねえ。

そもそも何がAIの独り立ちなのかわからない
人間にとって有用な理論を作るなら、当然人間による審査を経るわけだし
人間に理解不能な複雑な記号パズルだけからなる新理論を作られても何が凄いのか誰も分からんし

推論能力もそうだけど数学の多分野にわたる知識が凄い
既存の証明を組み合わせるのは得意
その一方新しい数学分野を作るみたいなことはまだAIには無理そうよね
研究の方針や新規の概念を考えるのはしばらくは人間の数学者の仕事だろう

AIが自律的に理論を積み上げることができるようになったとする
その過程で人間の未解決問題が解けてしまうことがあるだろう
人間はその形式証明が正しいことは分かるが、内容を理解するのは困難である

そういう未来が来るのではないか

論文を一行一行読んで正しいとわかったが
何やってるかさっぱりわからんなんて今までも普通じゃないですか

① AIによる証明文(自然言語使って人間に読めるような)
② その証明をAIがLEANコードに変換したもの

①を理解しようと試みる → これが数学者の仕事。テレンスタオいわく数学者が説明できないAIの論文は発表するべきではないと

②のLEANコードと証明文で齟齬がないかチェック → これは①を完全に理解してなくてもある程度機械的にやれるかな？

リーマンやコラッツにももしかしたら反例が・・？

ケプラー予想は機械証明で確定するまで15年かかったが
今はもっと早くできるだろう
充填問題は未解決問題多いしAI向きだと思うんだが
今さら解いてもインパクトないから金かけてまで解かんか

OpenAI、ミレニアム懸賞問題「ナビエ・ストークス方程式」をAIが解決したと発表　数学者は経緯に反発
www.itmedia.co.jp/news/article/2609/09/2000001300/

議論はしばらく続きそうだ

難問解決から大論争へ——OpenAIのナビエ–ストークス発表に数学者が異議
note.com/trans_n_ai/n/n1141506e7bbb

lean 通ったら、もう人間に理解できるできない関係ないやろ

反例構成できるかも？となっていたところ、AIが横から力わざでとっていったとなると、面白くないだろうな。

>>35
leanのカーネルを通過しただけ
ハッキング

ヤコビアン予想のときもそうだったけど、
反例がある未解決問題で反例に到達できそうな
本質的なアイデアが既に存在してる
(しかし人間は いまいち気づいてない)
という状況では、AI に先を越される事例が増えるだろうな。

反例の構築に人生を費やす必要がなくなると思えば
悪いことでもないけど。

数学がAIに取って代わるということは、原理的にあり得ない。

>>37
んなわけないやろ
leanの意味わかってる？

ナビエストークス予想も解かれたようだし凄い時代になったね
今後は数学の問題を解くことはALに任せることになりそうだね
しかもその検証もAIがすることになりそう
これからの数学者の仕事は数学者同士のコミュニケーションだけかも

>>40

Interview with MPIM Director Peter Scholze
14分すぎ頃から

what role do you think
proof assistants such as
Lean will play in the future?



https://m.youtube.com/watch?v=_gAe77G_aHw&ra=m

>>35
何このエアプ発言

>>41
反例を探すのをAIに任せる時代は来たが、
そこから先はまだだね。

その反例にしたって、本質的なアイデアは
人間が指示しなきゃいけないし(>>25)

>>42
ナーンにも意味わかってないやろ
意味わからんでも単語の並びだけそれっぽい文章作って楽しいか？
お前セタ？

set A ぶー、

scholzeのいうとおり