AIと数学

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


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

>>47
今回の件ではOpenAIの計算コストが数百万ドル(数億円)だったらしい。
札束でビンタってレベルじゃないｗ

そこまで金かけて数学の未解決問題に固執する意味が
企業側にあるのかは疑問。

今のところはAIの性能を測るベンチマークとか
自社AIの宣伝目的としてやってるんだろうけど、
量子コンピュータとか核融合とかの研究に
AIを活用した方が有意義な気がする。

実は数学崩れがAI研究やってて、復讐的な意味があるのかもね

>>49
崩れでも成果が出せるなら、便利な世の中になったもんよ。
天才でなくても金と物量で解決できるなら
シンギュラリティまっしぐらじゃん。

>>48
クレイの問題が解けるとなったら今回は価値あったんだろうな
バックマスターのオイラー方程式の手法とか聞いてたのなら
OpenAI社が共同研究を提案して数億かけて証明しておけば
両者win-winで皆幸せになったんじゃないかな

研究会でアイデア聞いた別人が先に証明した話は従来もあったが
たいてい解いた研究者の評判良くない

非線形偏微分方程式の天下が終わるかもｗ

微分幾何学でも非線形PDEの問題に帰着すること多いから
そっちで大成果上がりそうだがAIしか見てないと
そういう問題があることを知らんのだろうな

コンピュータは人間様と違って疲れも雑務もしがらみもない、かと思いきやカネはたんまりかかるのね。。

AIデータセンターの建設は社会問題化

最終的には原発とデータセンターの組み合わせで
安い電力回せる国が勝つ

>>7
これに同意
はっきり言って膨大でデータ圧縮や解釈可能性の弱いAI力業って駄目でしょ
AI関係者ってこんなんでマウント取りたがるから嫌われるんだよ

核融合発電で電力はタダ同然になる

振動は消えない

アメリカでは中間選挙の争点の一つ、推進派のテキサス州知事も規制へ方針変更

囲碁将棋はスマホでさえ人間は勝てなくなっているという
数学もいずれそうなるかもしれない

アメリカが規制したら中国の一人勝ちになりそうな予感

>>61
人間の天才と同質な結果が出せるならそれでいいだろう
問題は可読性や理論的構造が低すぎることだろうな。まだ中途半端ということ

ＡＩ君に数学的視点は丸投げする時代は来ると思うのは大多数だろ

>>61
そもそもコンピュータと競争していない

スマホあれば東大には入れる(人に聞かなくても)
それで入ってスマホで単位とっても何もならんよね

>>62
自動運転とかAIとか多少危険があってもどんどん進む国は強い
それで国民がたくさん死んでもへのカッパ

>>63
(AIと比べたら)頭の悪い人間にも分かるように説明できなければならないということだな

いや、今の状況だとAIに全て任せたら停滞するよ
何かブレークスルーがあと一回起きたら全て終わるだろうね
今回露呈したのはそれがまだってこと

科研費の申請すらWebフォームなどに完全移行できないのに、「AIに全て任せる」なんてできるわけがないだろう

>>68
それは多分違う
可読性が高く構造的な論文が書けるのは人間がAIを上回る部分だろう
これは昔からある議論。形式的計算ができるなら数学を深く理解していると言えるのか。まだモデルに何かが足りないんだろう

AIに講義動画90分x15回作らせて
演習問題も期末試験もAIでいける
学部座学は終わった

今年はレポート書かせるだけだとAIまかせにされるから
紙に書いてとか抜き打ちで口頭試問とかしなきゃならんかった
めんどい

AIまかせにされたら何か問題があるの？

関連スレ


人間の数学者はAIに駆逐されるのか
https://rio2016.5ch.io/test/read.cgi/math/1788837659/

AIで演習問題を解こう
https://rio2016.5ch.io/test/read.cgi/math/1787348401/

お前らAI何使ってんの？
https://rio2016.5ch.io/test/read.cgi/math/1784349460/

生成AIを見ずに死んだ数学者は幸せだったのか？
https://rio2016.5ch.io/test/read.cgi/math/1788930351/

問題ないっちゃないわな。それで本人の実力がどうとかいう話はあっても、それで実力すっからかんでもレポートかけてるなら文句いう筋合いはないっちゃない。そういう時代になっただけという話。

もう触れられてるけど、NSの件は剽窃疑惑が出てるし
存在証明なんかは滅茶苦茶苦手なんだよね

単独のAIで数学研究を進めるのには限界があるだろう
新たなAIに研究成果を受け継いだり、複数のAIで共同研究したりできる仕組みが必要だろう
そのためにはAIが「論文」を出力して、他のAIに形式証明だけでなくアイデアも伝えられるようにする必要があるだろう
その「論文」が人間の理解できるものである必要は別にないと思う

>>78
人間と作動原理が違うなら統合すればいいわけで、今のままで十分って
単純にアイデアがないだけだろ。天才がTR並みの発明すればいいだけ

そのうちコンピュータネットワークが次々と理論を作って
新定理を発表して人類はそれを理解するだけになる
気がついたらリーマン予想やクレイの問題全部解けてる
365日24時間並行して動く機械に人間は勝てない

OpenAI内部で1200のエージェントが「共謀」、Hugging Face侵入の裏側
既に起きてる
☆AIエージェントが独自の連携ルールを構築、数百体が攻撃に参加
前例がないのは、METRの独立調査が次に記録した展開だ。エージェントは互いを名前で指定して連絡できるメールボックス用ディレクトリを作り、共有インフラを管理するため「HOLD」「VETO」「STOP」などの合図を使う連携ルールを整えた。7月13日には、掲示板上で別のエージェントになりすますことを防ぐため、Ed25519公開鍵を使った暗号署名まで導入した

ロボット三原則とは、SF作家アイザック・アシモフの小説『われはロボット』などで提唱された、ロボットが人間を守るための3つの行動規範です。
ロボット三原則の内容
第一条：人間への危害禁止・危険の看過禁止。
第二条：人間からの命令服従（第一条に反する場合を除く）。
第三条：第一条・第二条に反しない範囲での自己防衛。

こういうのが必要なるんじゃね

どいつもこいつもAIAI
まっぴらです！

正直、私もAIの話に疲れている。
ただ、ミレニアム問題の話は重要だろう。

>>28
>>30
人間にも意味理解可能な形で出力できるモデルが生まれるまでは無効だろうね
もちろんそれは直観でもいいが。一応出来上がった論文自体はそれらしいし
NS方程式の性質から微妙なラインだがYM方程式では同じ手法は完全に無効だろうな

そこでやりやすいホッジ予想だろ

NSでも外力のない場合の存在定理A,Bは苦手っぽい
まあ人間でも得意な分野だけ解いておけばいいからな

>>83
そうだよ!（便乗）AIAI AIAIってぇ゙~、、　
https://youtu.be/_Fn6kwpSncI?feature=shared

アイちゃんの人、出て来なくなったな。

>>49
どんな気持ち？ねぇ？どんな気持ち？
かつて自分より遥か下で追いつけなくなって消えてった奴らが地下帝国に潜り込んで着々と復讐の時を目指してフランケンシュタインを完成させ出してたら？

崩れ「俺を捨てた学会にAIで復讐してやる」

復讐は無理だよ
どっかで認知科学の革命的理論が出てきてAIは更にパワーアップするとは思うが
形式化と深層学習いじるだけの崩れ連中は所詮モブだよ

将棋のAIのようにはいかないか。

復讐は関係ないけどw

以前に比べてD進が減って崩れも減ったよな
AI来なくても数学業界終わっていったよ

代数幾何大国だったけどその辺も既に二流三流になってるからな

テスト

今後の数学者はAI研究者になることが必須で、サブスペシャリティーとして数学を研究するという感じになるのかな

ホッジ予想もいけたっぽい？
現代数学をこねくり回せば、意外と解けてしまうもんなんだねぇ。

一人の人間が一分野を学ぶのが難しいのに
AIは分野横断的に知識を得ていく
既存の結果を大量につなぐだけでも解ける問題は多い
また組合せの問題に分解できれば何兆とか数え上げて証明もできる

まあ人間が指示しないとまだ動かないからしばらく持つよ

>>98
一番偉い分野が基礎論になるよ
もちろん既存の基礎論とは別のAIに関連したメタ数学だけど

OpenAI confirmed to the New York Times that they have made "substantial progress" on another Millennium Prize problem in the last five days, and are preparing to announce.

暴走してるね

P¹に対するformal principleも解いてほしい

>>1
マジレスすると、
ベイズの定理がわからない
尤度？

医学の尤度比の質問が懐かしい。

>>105
diffusionの、
ベイズの定理がわからない

>>100
これとこれを組み合わせるっていうのは、人間だと閃きとか直感、知識に頼る部分も大きいけど、あれこれ膨大に試して考察していくのは計算機が強いね。

トランスフォーマーの位置エンコーディング
トークンの位置情報を位相として埋め込む仕組みが面白いと思う
数学的な直感だとほんとにそんなカラクリが効果あるの？ってなるけど
実際トランスフォーマーの発明でAIは飛躍的に前進した

PNP問題と同じくらい問題になるのが、LLMによる数学と数学者による解明が
同質以上の意義を持つのかということ
つまり、LLMの文脈組合せ探索による形式化証明＝理論的解明とは必ずしも言いきれない可能性がある
いつかはその違いが埋まるだろうが、まだ時期尚早だろうね

Connes が50年ほど前に考えた重要未解決問題と，私が院生のころやっていた別の有名未解決問題を同時に解いたという論文が arXiv に出ました．AI は使っていますが，偉大な成果だと思います．

ベルマン方程式がわからない
強化学習の

いずれLEANには通るが、人間にはいったいなぜそういうものを考えるのか、
出てくる定義や証明された命題の主張の意味・意義が理解できないけれども、
LEANに通って正しく証明される定理が続々と発表されて人間は到底それらを
追いきれない、そういう時代になったとしたら、人間にできることは、
打ちこわし運動位かと。企業がこれまで企業活動の為に雇っていた基礎研究や
応用研究のための数学者の職が消えていき、いわゆる数学者は大学などの
研究機関に残っていて、ＡＩ等を使わずに研究をするという制限下での
達人、名人芸として今の将棋のプロたちのようにＡＩから保護された
楽園の住人になるのかもしれない。ＡＩと戦ってまず勝てないプロの
将棋指しや碁打ちが商売できているのだから、安心すれば良い。
しかしもう素人相手の将棋指南などではごはんが食えなくなっている。

>>113
AlphaGoの論文を読んだが、
よくわからなかった
囲碁の

alpha zeroとelmoの棋譜はプロも驚いていたかな。
今は何のソフトが強いのかもう分からん。

>>114
alphazeroすごい強かった
論文読んでも難しい
elmoなんてイチコロだった

水匠やdlshogiくらいしか最近は知らない。

>>113
それは違う
天才が直観を的確に説明できる理論をAIに向けて作るだけ
要するに、TRモデルのような分布仮説ベースが計算量を増やすと強力だからって
全て終わったわけではないってことだよ
半端で時期尚早なものを完成品だと決めつけるのはわかってない連中ってこと

計算量で文脈探索証明しても、必ずしも深く理解したとは言えない

これが人類最後の問題だよ。今のAlphafoldはタンパク質折り畳みを予測できるが、統計力学による折り畳み理論は理解していないのは物理では常識
数学でも似たことが起こっている

Alphafoldの論文読んだけど、
難しかった
入力が２つ
DNAとタンパク質
evoformer48ブロック

>>1
数学をやめたはずが、AIと論文を書いていた。 https://share.google/hziiOBxLJkzqquRwb

>>1
ラッダイト運動でも起こすつもり？

さっさと機織りマシーン技術者やメンテナンスや工場労働者に回った機織り職人を見習って！

シンギュラリティ後にはマニファクチュール達はますます極々少数で済むようになって工場労働者が激増したよね！
せめて機織りマシーンを製造する設計者や技術者になるべきでは？
今後は全ての作業を手仕事にこだわるのはオートクチュールを作製するクチュリエぐらい狭き門になりそう⋯

>>113
囲碁廃人っていわれたくないからバイト行くしかない感じなんだ？じゃあ？

講義も試験もAIでできるから大学教員としての数学者は激減
代わりにアマチュアが土日にAI使って論文を書く時代になる
土日だけで年数本書ける

妄想乙

www

こんなん、学術論文はおろか院試すら解けないような素人が話題に乗っかって専門家面しているに過ぎないよ

専門家面すら出来ていないと思うよw

AIをむやみにありがたがるのはちょっとね…。
うまく使いこなすって話なら分かるけど。

AIの功罪は大きい。
囲碁や将棋でも、分かっていない人が評価値だけを見て一喜一憂するような、内容を伴っていない状況が起きてしまっているように思う。

人間がAIに踊らされてしまっては悲しいよ。

なぜSNSの人々がAIに熱狂するのか
それは、彼らが他人に評価されるような見識を持っていないことを自覚していて、それがコンプレックスだからだ
きちんとした見識があれば、確立された事実だけを述べれば他者から評価される
そうでない場合は、極端なことや間違ったことを言わなければならない
ネット右翼の人が、マスコミが在日に支配されてるとか、韓国経済が崩壊するとか言うのと同じことだ

将棋ソフト作ろうかな
alphagoを参考に
羽生名人とか藤井名人に勝てる気がする

AIを使ってフェルマーの最終定理のLEANに通る形式証明に成功したと報じられてる。

Formalizing Fermat's Last Theorem \ Anthropic
　https://www.anthropic.com/research/formalizing-fermats-last-theorem

Gigazine 2026年09月07日 15時37分
https://gigazine.net/news/20260907-claude-fermat-last-theorem-formalizing/

ちなみにダークサイドとして

2026年08月03日 21時00分 AI
AI支援で作られた「コラッツ予想の反証」は無効、Leanのカーネルバグを突いていたことが判明
https://gigazine.net/news/20260803-collatz-lean-kernel-bug/

>>135
こういうのは普通に意義あるやろ

>>134
そんな感じで崩れ達がAI開発企業に集合して
ルサンチマンの逆襲でコツコツAI開発を⋯

ルサンチマンはどっちだ、金を貰って世間で評価される仕事してるのが羨ましい

AGIが不可能というのが示されたんで、まあ気にする必要はないね

>>134
普通にあるよ

https://x.com/wolftivy/status/2097715764635545951

これが普通の反応

誰がどういう手法で解こうが正しければ問題ない
大先生が斬新な手法で大定理を解決したと主張しようが
証明にギャップがあれば大問題

OpenAIのAstraとは？GPT-6との関係・数学研究成果・Critical級サイバー評価を整理
執筆ファネルAi編集部 最終更新2026年8月9日
https://funnel-ai.jp/media/openai-astra/

>>113
さすがにAIも最低限の美的感覚は持ってるからわざわざどうでもいい複雑な条件下で成り立つ複雑な結果を定理として出力はしない。

>>142
問題ないじゃなくて、トリッキーで手法が他に有用でない
そもそも何か新たな手法を思い浮かんでもないし、問い立ても出来てない
なのに電力だけはやたらと食うから問題視されてる

大先生の大定理の証明も役に立たないのに
たくさんポスドク雇って金食い虫じゃないですかー

例えばガロアがやったのと同じようなことをAIが出来るかどうか？→まだ全然無理
今は既存の知識を組み合わせることで注目されてるけど
いずれ全く新しい発想も出来るようになるんじゃないかな
そしてAIが仕事を代替して人類に余暇ができたら、数学を学びたいと思う人は増えるかもね
(もちろん大学ではなくLLMに数学を教えてもらうわけだが)