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に数学を教えてもらうわけだが)

ま、その問題に対して何の見識もない人がLLMに丸投げしたら解決者になるわけだから、誰も予想や中間成果を共有しなくなるわな

LLMを駆使してやる意義のある仕事はたくさんある
企業がやってるのはopen problemを荒らしてるだけ

代数幾何学とかもうワケわかんねーから大幅に簡略化してほしい

簡略化されたところで、使いこなせるとは限らぬ

>>146
数学界で、大先生の大定理の解決仮定で、数学的に極めてトリッキーな技巧のみで各々解かれて広がりがなかった
てのは少ないと思うが？

ペレルマンはAIについてどう思ってるんだろうか?

人力で唯一ミレニアム問題を解決した数学者か。

>>149
LeanはLLМじゃないよ

>>138
褒めてんだよ
下剋上じゃん。ていうか一般化させたじゃん。
天才ファクトリーで師匠が弟子を囲い込んで、、っていうクラフトマンシップが終わるんだよ

25人のフィールズ賞受賞者の声明
ウィッテンがいないな

Leanは数理論理学をベースに情報工学畑から穫れたようなものだから崩れの逆襲ってか
全て無駄なんてないって究極のリサイクル美学じゃん
だって今の若手なんて20歳までにかつては一握りの天才が放り出した化物理論を理解しとけって量産されてる大量汎用型知識人だけどら百年前なら天才しか閃かなかった理論を理解しろって、ね。
秀才量産して中に神降ろしの奇々怪々な巫みたいな鬼才がたまに出るかもってのを、人間の理解できる数理の言語に翻訳したり、丁寧なクラフトマンシップで極少数の見込みがあるって思われてる天才の卵を孵卵してたギルドがついに陥落するんだよ
産業革命から200年目にして“人間だけに残された最後の聖地”って思われてたピュアマスをルサンチマン達技術者集団が「働きたくないでござる、大学に引きこもって数学だけしてたかった、、」って鼻水と涙垂らしながら情報工学墜ちして企業に就職して地面に叩きつけられた衝撃でそれっきり瞼がピクピク痙攣して治らなくなりながら造り上げてるフランケンシュタイン達が、雲の上の天才達や、神と更新してる巫みたいな謎の鬼才達を凌いで大量演算で一気呵成に焼け野原を拡張してってんだから

優秀な育成者と生徒を抱えてる大学の数学科は儲かるようになるよね。
自由陣営の生き残りを賭けた国策企業になってるAI開発企業が喉から手が出るほど欲しいのが数理AI開発者とそれを検証できる数学者達たちなんだから。
寄付や投資がどんどん入るよ
もう金に困らなくなるよ

人類は３度目の情報革命で遂に神降ろしの巫みたいな鬼才頼みの不安定で収穫量の少なかったピュアマス畑も大量生産可能な工場に変えたんだね
マジシャンみたいなピュアマスマティシャンになり損ねた技術者達が機織り機械を開発してから長いようで短かった200年でした。
２１世紀は技術者集団がピュアマスの成果も量産し出したようです。
ある意味、知の下剋上、革命だよね
鬼才や天才の千人分くらいの何千年の人類の手仕事の収穫量を数ヶ月、数週間で、本当に物理的な制約のみを枷として量産し続けるんだからね

札束ビンタで大抵の数学の問題は解けるようになるだろう。
しかし、重要でない問題に億単位の金をつぎ込むわけにも
いかないので、AIに興味を持ってもらえなかった問題は
スルーされる。

そういう問題は従来どおりに人間の数学者が
人力で研究するんだろう。・・・と言いつつ、
省電力のAIを使って壁打ちしながら研究、みたいな、
一体どこまでが人力なのかっていう世界になりそうだが。

でも鬼才は楽になると思うよ
AIちゃんに頼んでおけば直ぐに他の人に分かりやすく伝えてもらえるもんね
今は本人も自分で入力に参加しなきゃ時間がかかりすぎるって事で時間取られちゃってるみたいだけど