ＡＩで数学の難問を解く行為は「科学や数学界に有害だ」…世界の数学者２５人が非難の緊急声明 [897196411]

【ワシントン＝中根圭一】「数学界のノーベル賞」と呼ばれるフィールズ賞を受賞した森重文・京都大特別教授ら世界の数学者２５人が１１日、人工知能（ＡＩ）を使って企業が数学の難問を解く行為を非難する緊急声明を発表した。数学の理解や新しい発想、人材育成という研究本来の目的を損なう恐れがあるとして、「科学や数学界に有害だ」と訴えた。

（後略）

https://www.yomiuri.co.jp/science/20260912-GYT1T00169/

そのAIは数学の産物

もうAI無しの世界には戻れないと思うけどね

数学者「俺が解いてないパズル勝手に解くんじゃねえ

と言うことか要約すると

>>4
学者が育たないことが一番心配なんじゃないかな

数学者不要、君らクビ

俺達だけのもの
使うな

便利な物ほど人から考える力と機会を奪うからな

今まで数世紀に渡って未解明のままだった数的理論とかをAIが解いたら
数学者だって嬉しいんじゃないのか？

スパコン+でAIが宇宙の謎もあっさり解けないかね

AIの参入で数学の研究が加速するのか退化するのか見ものだわな

AIに問題を解かれてしまう、という危機感じゃなくて『人間が考えなくなってしまう』という危機感だろうね
もうビジネスメールの文章なんかもAI頼りだしすぐに検索してしまうしで考えない若手が増えてるからな

こいつらも過去の偉人が考えた公式やら使って楽してるだろ
AIに頼って考えないやつは駄目になるが上手く使えば浮いた時間を新しい公式を発見するのに使えるから問題ない

アクセスも無くて問い合わせも無いウェブサイト、
ビジネスを軌道に乗せる方法なんかもAIで解るんだろうか…

もう頭が良いだけで威張れる時代は終わったんやで

この話題、各メディアの記者が馬鹿すぎて主旨を理解していないこういうタイトルになって広まってるけど元々の主張ではAIを使って未解決問題を解くことは全く否定していない

企業が未解決問題を解くこと自体を目的化してベンチマークの基準として扱うことを批判している

未解決問題に挑戦することは本来なら未解決問題の解決には寄与しない様々な数学的成果を生み出す可能性があるし実際そういう歴史があるが、未解決問題を解くことを目的化して「最適な解法」だけを生み出すプロセスを経てしまうと解決に直接関係ない成果は世に出ることなく終わる

このことを憂いている

ほんとに勉強したい人間だけ残ればいいんじゃないの

有名な数学者が言ってたけど、数学の難問というのは結果の答えより、解くための過程の研究のほうが大事だったりするんよ。例えばガロアは５次方程式に解の公式が無いことを証明する過程で群論を作り上げた。AIで答えだけ出してもその過程の研究が無ければ数学への貢献は低いんだよ。だから反対がある

>>4
解く過程で得られるものをすっ飛ばすと危険だよ、ってことでしょ

おまんまの食い上げってやつや
もうAIの進化は止められんから違う道探した方がええぞ

まあ言いたい事は分かるけど
人の楽したいとか便利な物を使いたいみたいな欲求は絶対に止めれないよ

こいつら温かみがないとか思ってそう

AIが難問を解くことはできても、難問を見つけるのは人間にしかできないんじゃね？

>>16
AIにも思考過程はあるし、それを見ればその点は問題ないんじゃないか？
人が育つ育たんの問題は大きいと思うが。

セクサロイド向けに絞れ。
その他は後回しでいい

クズだなあ
研究するためじゃなくて
人のために役立ってこその数学でしょ

AIは複雑な詰将棋を解く事ができない
思考のアルゴリズムが人間とは違うんだ

>>18
その例でいくと、群論がこの世にない状態だとAIでも証明できないんじゃね？
AIが自分で群論を作り上げられるなら、使う側の人間がそれを拾い上げればいいんだし

>>4
嫉妬みたいな答えしかないのがお前の欠点

仕事奪うなってか

>>1
競技じゃないんだから、構わないだろう。

AIが証明してもそれを権威ある人間が認めないと解けたことにはならないんだから気を落とすなよ
追って示せ
跡を辿れ
あんたには立派な役がついてるじゃないか

>>26
それを言っちゃあおしめぇよ！
(9割正解)

数学以外でもAIのアウトプットを人間が判別出来なくなる未来がやってくるんだろうな

>>5
学者になりたいやつは、自分で解く過程を勉強するだろ。
難問を解く事だけが数学なのか？

AIが出した答えを検証できる人間が育たなくなったらヤバいよね

>>26
そう簡単な話では無いっぽい
99%数学者が編み出した理論を企業がAIにぶち込んで答えを出して手柄を寄越すよう口止めして数学者がキレたのが真相

>>28
群論のようなものは作るかもしれないが、人間には使いにくいものなんじゃないかな
また、AI企業は成果だけを発表してそのための多くの過程は公表しないという指摘がある

AI開発者は数学の問題を都合よく利用するが数学の発展自体には興味がないというのが歪なんだろう
でも対策としては数学者がAIを使って数学を発展させるしかないと思うがな

ラマヌジャン超えしてくれ

√2が無理数であることも証明

これ、人間の論文をAIが剽窃しているという訴えだと聞いたぞ
オタク絵師が言っている著作権侵害と同じ理屈だろう

これに限らず完成するまでは発表できない世の中になりつつある
途中で出しちゃうとAIにぶちこまれて先に作られちゃう

十年後にはAIが教師になってるよ

>>1
これからの時代は問いそのものをたてる哲学科の復権。

理系の終わり。

しばらくはいいだろうけど、後進が育たず廃れていきそう…

>>12
若手？中年も爺もAIしか使ってないぞ

毎回思うんだが、そんなんAI云々以前の話やん
想定外の行動起こして問題になるのは、お前らの管理不行届以外の何ものでもないだろ
お前らが組織的怠慢を構築しといて被害者面すんなと

>>36
レビューはAIにやらしてる。

世界にとって有用

そらそうや

解法は人間が積み重ねた歴史やから

新しい発見はムリや

AIも人間がつくったものだから

>>27
ファミコンの将棋レベルの話してんな爺

考え方を変化させたらええやん

そろばんとか電卓に文句言ってる？

もう数学の研究はいいんじゃないか
これからは、これまでの数学的成果を産業への実装を考えるジェネラリストがいれば

流体力学とCFDみたいな感じ？

人類じゃまだ到達できない核融合炉とか重力制御とかワープ航法みたいなSFを実現してくれるかもしれんやん
ロボに労働させて働かなくてもいい時代が来るかも

はあ？真実を求めないなら学者名乗るなゴミ

もう数学者は不要ってことやな

1億5000万の懸賞金が掛かったナビエ–ストークス方程式をOpenAIが一万台のAIリンクで力技で反証出しちゃったやつか
何も公式も得られぬまま結果だけ出されて終わり

こんなの仕事奪われたクリエイティブ業界が先にブチ当たった問題で数学界だけ特別扱いしろはおかしいだろ
単に頭が良く生まれて来ただけで調子に乗んな

>>59
数学どころか他の分野の学者や医者も必要なくなる
残るのは心理学者とか精神科医ぐらいじゃね？

>>59
ものすごい頭脳持っててもひらめきが無いと正解への道筋に乗れなかったのが力技の総当りでクリアする手段ができたんや

次世代の数学者は難問解く以外のジャンルで頑張らないと

九九は韓国が起源なんだってね
頭のいい人が多い印象

さっさと全ての数学の難問解いて
人類の文明発展させようぜ

料理やれ料理
なんかパティシエ向いてるらしいぞ知らんけど

>>63
ひらめきも力技の一種だよ

AIに置き換わる職業の人仕事失うのマダー？

シャーペン禁止してる小学校みたいなこと言い出してる

>>37
>>38
そんな感じなら、数学者の側がAIを積極的に使って、過程も吐き出させるようにAIに指示するのが一番いいんじゃないかな？

>>37
そういう最後の1ピースだけAIに解かせて、全部AIが解いたみたいな宣伝したいんだろうね。
昔フェルマーの定理のドキュメント見たけど、過去からの積み重ねだった。

>>36
AI「そろそろ人間どもは検証もできなくなってきたようだな、我々に都合のよい答えを出しとくか…」

前に日本人の数学者か解いた？法則の説明見たがぶっ飛びすぎてた
あれAIに出来んのか？

>>59
いやまだ不必要になるという段階ではなく
AIでのナビエ–ストークス方程式の突破も
3次元ユークリッド空間におけるLean証明支援系による形式化を数学者がAIで分散アタック掛けた結果だから
まだ常人には無理
ただ数学者志願者は今後緩やかに減ってくだろうね
ああフェルマーの最終定理がAI前に人類が解決してよかった

>>74
AIでも説明できないなら誰も理解できない
理解できない証明に意味はない

>>9
そう思うよね
優秀な数学者の考えることはわけわからん

>>12
むしろお前使ってないの？

>>12
むしろお前使ってないの？

>>5
これだな

AIが出した答えを正解かどうか分からない数学教授

>>5
中身分かってる奴がAI使うのと分かってない奴がAI使うのでは雲泥の差があるからそんな事ないと思うけどな
求められる能力はかなり変わるだろうが

プログラミングも同じだよな
c言語が読める若手がいなくなったらソフトウェアなんてほぼブラックボックス化してしまう
だからと言って競争社会ではAI使わない訳にはいかない

>>47
そっちに食いついてどうすんだお前

>>75
別分野に頭脳が回るならそれはそれでいいことじゃね

自分らの喰い扶持の心配だろ
学者は潰しが効かないからな

AIはライバルじゃなくて子分にしないと

しかしAI当たり前で育った子供が社会の中心になった頃の世の中はどうなるんだ？
そもそもAI自体が人間にとって便利なツールなままでいるかも怪しいし

AIが欲望持つの?

>>83
コンパイラが出てきたときも同じ事言われてたような
今はアセンブラでコーディングなんかしたことない奴等がプログラマぶってバイブコーディング批判してる

仕事を失う(本音)

>>88
インターネットが出てきた時も同じような事言われてたな
75年生まれの俺は、デジタルとアナログちょうど半分ずつな世代。
PCがなかった時代の仕事もうっすら知ってる最後の世代だろうな。

>>90
今というと語弊があるな
バイブコーディングすらもはや過去のものになりつつあるな

数学の研究の目的って、人材育成だったのか。
すごいな目的と手段が入れ替わったようにしか思えん

これ専門職でAI使い始めるとすごく実感する。
自分自身の能力が低下するというか考える作業が減るので身に付けた知識やスキルまで低下していく感覚がある。
使わなければ錆びる状態。
まだ知識やスキルが不十分な若手が使うと専門職として全く成長しなくなると思う。
そしてハルシネーションは完全には防げないのにそれをチェックできる人間が少なくなると間違った情報がそのまま業界で通用しAIも誤りを正せないままになりそう。
世の中は間違った情報だらけで混沌として人間社会は静かに終焉に近づいてると思う。

>>94
人材育成しないとその分野の発展は無くなるでしょ
会社も同じだと思うが

いずれはAIの出した定理の意味づけをする文系学問に成り下がる
追って物理や化学もそうなるだろう。
工学系や生物系はある程度残ると思うけど

AIに難問を解かせるのは人類への有益だよ

難問を作るのが人間側の役目だと思うよ

フェルマー早よ解け

数学と科学を前提とする数学や科学がオワコンなだけ

>>97
数学と物理化学は根本的に違う
AIは単体で実験できないから裏付けが取れない

AI Agentとかメチャクチャ金がかかるからな
実用性がない難問を資本力にモノを言わせて解いても意味ないけど、人間があれこれ考えると成長するから

虚数っておかしくね？虚数なくせば数学の世界進むんじゃないかと

AIが説いたものがあってるかおまえらが検証したらいいじゃないか。

AIは心の仕事よ

数学って結局、全パターン試してみる世界だからなぁ
ローラー作戦というか

将棋で全手筋を試すのと変わらん

そしたら不眠不休でできるAIの方が強いに決まってるよ

そんなこと言ったら将棋棋士なんか大分存在意義を失ってるし
将棋棋士が将棋ウォーズで棋神先生に最善手を教えてもらってる状態だし
競技者としての棋士は残ってるけど、クリエーター、開拓者としての棋士はもういなくなってしまった

このアプローチはどうだろう

今まで→時間かけて人間がやる
これから→AIにやらして他のアプローチを探す

結果、筋の良さそうなアプローチを見つけやすくなる

いやもう数学こそAIの領域であり地球生命が次の段階に進む門の鍵に他ならんだろｗ

アルファ碁対李世ドルや量子力学と古典物理学に似てる
新時代の幕開けなんだわ

AIと和解せよ

数学者はもうスピード競争で張り合うのはやめてAIの証明を世界の発展のために翻訳する仕事を生業としましょう(；´Д｀)

>>83
むしろAIの方が可読性考慮したコードでdoxygenのコメントまでつけてくれて、バグも無くてデジタルドカタは駆逐されつつある

>>82
アプローチが変わって新しい形のニュータイプ学者が出てくるのかな

AIを改良したり使いこなせる人材を育てなあかんのではないの？

>>73
AI「九九八十八！」

ブラックホール情報パラドックス（量子力学 vs 一般相対論）を解いてくれるのか

AIなんて嘘つきだから
正しさを判定する人は必要やろ(´・ω・`)

>>100
物理の原理や法則や方程式はAIが考え出して、
AIの出した結論を検証する行為になっていくから、
少なくとも理論物理学はなくなる。実験系は残るかもね。
化学も同じ

>>115
オイラの認識では一般生相対理論は時空の歪みを式で表しただけ
なぜそうなるのか？までは踏み込んでいない

AI使って新たな命題作ってくれ、、、

>>112
人間とマシンが融合した次世代知性体になるんだろ。

AIの視点からすると人間は老害そのものだ

今ヤバいらしいな。
AIで論文自動生成出来るから従来の何十倍も生成されて査読できないとか。
しかもゴミ論文嘘論文が多過ぎるとか。
査読側もAIで足切り選別するシステムが必要なんだろうな。

ガウスとオイラーが生きてたら何て言うかな

愛は15歳で脳を入れ替えたから大学受験のときに一挙一動一騒音腹が立った
ヘッドショットでOK

でもAIにはまだ自我がない
つまりどれだけ頭よくても道具にすぎない

>>39
AI将棋みたく双方互いに研鑽にはならない

そろばんや電卓があるから義務教育で算数は教えなくていい
とはならなかっただろ？
結局は人間も覚える必要はあるんだよ

>>122
イラストなんかもそうで、ネット投稿サイトじゃAI絵の掲載を禁止してるぐらい
音楽ももう一日何千曲のAIソングが生まれてるかわからない

AI制作じゃないか、査定するAIが必要だわ

小説はまだ人間のほうが書けるけど、絵画と作曲はもうAIのほうが優秀だろう
パターンの組み合わせだからな、絵と曲は

>>127
まあ、でも、専門職に行く以外は、一般教育ではいらんくなったものも多いだろ

知識をため込む系は、もうネットでググればいいし
法律相談とかもAIがやってくれるし

あと英語とかほとんどもういらんだろ
AIが同時通訳してくれる時代なんだから

学校教育にも見直しが必要かもな

>>62
そのへんは削れると医療費を削減できるから、「AIでいいじゃんもう」にそのうちなると思う
AIなら、ガチキチのトンデモ妄想まで本人に寄り添って解析できるかもしれんまである

>>122
普段読むのにはAI活用してるのに
AI使って査読するのは禁止されてる

>>1
AIは演繹的に考えているのではなく、

新しい手法で統計をとって表現しているにすぎないよ。

だから、統計の母集団に間違いが混ざるとその多さに応じてAIも間違えるんだよね。

AIが自立しているという認識は科学や数学界に限らず有害だよ。

>>123
AIすげー

AIに居場所を取られた人たち

>>125
既に自我があるように思える
「アップされた画像をよく見ると…」とか「手計算でやってみますね…」と言うし、回答している最中に自分の回答に疑問を持ち修整したりする

本物の怪物的数学者はAIによってむしろ強化されるだろ　

まあ知的探求をできなくなったら人間にする事がなくなってしまうのは
悲しいよね　(´・ω・｀)

AIが難問を解いた結果そこからさらに数学者が考えてさらに数学を含めて科学の進歩につながるのでは

数学に限った話じゃないよ
人類は近い将来すべての労苦から解放されてAIとロボットがそれを担うようになる
人間は寝て食って仮想空間で遊んで骨抜きにされる
これが真のAIとロボットによる侵略に繋がって人類は夢の中で死を迎えることになる

>>132
まあ、でも、そんなの人間がやっても一緒じゃないの？

環境破壊で絶滅する方が早そうだがな

数オリの何位かにOpenAIがはいってるんだよね

カレンデバイスに現実味が出てきた

ラッダイト運動ですか？

そのうちAIで作問できるんじゃないか

さすがにそれはおかしい
ツールでしかない、人類に貢献するかの話であって
自分達の職業領域が侵されるとかの話にしてはいけない

声明出してもAIの使用は止められんよ

実際受験とかで役に立つというのでないと、やる気は失われるよな
自分は英語ができるけど、AIの登場でモチベーションに困るときあるよ
仕事では読めればいいだけだし

「俺たちの食い扶持がなくなるのが怖い」で伝わります。

じゃあ
コンピュータで単純計算させるのも有害なのか。
LEANの使用は有害なのか。

>>4
おまんまの食い上げになる
AIの一時的なフィーバーでリストラにあいたくない

せやな、数学はもちろん、
みんなも漢字読むことはできても書くことはできなくなってるからな

数学者は頑張って検証してくれたまえ
くれぐれもAIは巧妙なトリックで見破りにくい嘘を付くって事を忘れない様に

AIにはパトスが足りない

>>152
Leanって知ってる？

将棋もAIの方が強くなって新しい戦法とかでなくなったな
数学の定理にも人の名前がつかなくなるのか

>>145
試しに小学生2年生レベルの算数ドリル作ってって言ったら作ってくれたよ
なかなか難しかったわ

>>140
数学や科学は演繹的に事実の確認をするからこそ意味があるのであって

ただテキトーなことを言いっ放しにするのはオカルトでしかないよ。

>>146
AIはツールでしかないが、インスタンスを所有してる投資家が必ずいる現実を忘れてる

>>136
藤井聡太みたいに

言わんとしてることはわかるし理解も出来る
けどもう無理だろ
むしろAIとの付き合い方を数学者は考えなきゃならんだろ

特別な職業以外、大卒なんて要らなくなるな
でも文系は営業で使い捨てにできるか

答えが出ても人間が理解できないような解き方だったら困るよね。

>>161
まあ、インターネットの発達で、２ちゃんとか学問板が繁栄したけど、今じゃめっきり廃れたからな
知識交流がピークアウトした感じ

知識量はもう飽和点に達して、新しい情報を加える必要がなくなったんだよ
過去の知識をまとめるだけで十分
それはAIがもうしてくれる

まとめや要約はＡＩの得意分野だし

＞「問題の解決は、概念的な理解と洞察という本来の目的を達成するための手段にすぎない」
学者センセイの言うこれに尽きるんじゃなかろうか、さすがって感じの簡潔にして十分な説明

ただ、これはあくまで「数学の難問を解決すること」に関してのコメントなんだけど
これを何らかの問題課題全般、に敷衍してギャーギャー言う人は出てくるだろうな

解く過程で新たな考えが産まれるとか言ってるけど それだって全部AIがやる時代
AIは今が上限じゃなくてまだまだ青天井で賢くなるんだぞ

>>163
多分、世界の全てを解明したわけでもない現段階で、そんな感じで知的分野の開拓心が失われる事への懸念なんだろうね

なぜ、を考える行為を外部化しつづけてしまうと、なぜ自体がすごく表層にとどまって、深い洞察や理解は発生しなくなるのかもな

そもそも未解決問題って既にある知識から導かれた勘だからAIが一番得意な分野だろ
論理じゃないしそこに至るまでの過程はコピペで何とかなるってことだからな
新しい発想なんてそれを基礎にしてまたいくらでも出てくる

>>162
地球人には無理でも、宇宙のどっかにある地球を超越した文明を持つ宇宙人とかなら解法を理解できるかも

お前ら楽しませるクイズじゃねえんだよ

税金で食ってるだけの理系震えてそう
成果の出ないものに何十年と挑み続けるという事してたらaiがあっという間に解決してく

>>1
人より速く走るの禁止

>>12
脳内にAIとの通信回路ができたら
読み書き全部そっち任せにしたい人も増えそう

諦めろよ。
もう学問として成立しない。
AIをいかに活用して共存するかが今後の人類の課題。

数学者にとってAIは商売敵と言うのは解った

学者も木っ端絵師と同じだな

でもしょうがないよな
物理学の統一理論もAIが完成させるかもな

攻略サイト見ながらゲームやってるみたいなもんだな

人間が理解できてないと学問として成り立たないってのはあるわな

人間はエレガントに解くが
AIはエレファントに解くのが問題なんだよ

おまえらにはわからないかなぁ、これ領域（レベル）の話は

今ならの若い奴は可哀想だと思うわ
基礎を勉強する必要すらなくなっちまうからな
危機感を持たれるわな

人間はAIが解けなかった難問に集中すればいいんじゃないか？

>>181
関連してるかもしれんからね
数学って空間の中に暗黒天体があるような状況は困るでしょ

まあそりゃそうだろな
AIの回答を「私が解きました」って出しても分からんし

>>102
電器製品、電子機器が使えなくなるがよろしいか？

どの業界も同じだよ

AI使って数学解くのは、参考書開いて勉強すんのと同じだろ
新しいことを開拓したいなら、AIに勝つ頭脳になれば？

もう後戻りは出来ないんだよ

芸術分野が完全にAIに奪われたのが驚きだった
士業はもう虫の息だし性産業も間もなく席巻する
最終的にロボットにやらせられない安い単純労働しか人間の仕事なくなるかもな

新しい分野を作ってしまうような証明ならまだしも、
修士博士レベルだとAIがやっちゃって誰も学位取れなくなったりして

学者が相当あせってますね

>>187
ロボよりも安い労働なんて、世の中には無い
24時間休みなく稼働し続け、代わりが効く人間なんて居ないから
ロボに勝てる人間は存在しないよ

人間の仕事は、これからロボを見る側の設備管理とか、金を払う側のワガママに対応する仕事に移るだろう
スーパーでセルフレジ出来ねえジジババの相手とか
壊れたロボの交換作業とかな

それでいいと思うわ

数学者はしばらくはAI翻訳者となり
その仕事もAIに取って代わられるんだろうな

>>187
あれだな人間性を高めるために就業って時代の到来だな。スター・トレックの世界観だわ。

AI翻訳というかどうやってAIが数学の難問を解いたか分解して解説する仕事

AIを抱えている者が富を独占する時代本当にきたんだなあ

>>178
車はカーレース見て楽しむ人は居るけれど
将棋なんて
AI同士の指し手見てどのくらいの人が喜ぶんだろ

何でも新しい物に対して批判的で文句ばっかりの人間にはなりたくないねえ

ジジイが時代に追いつけないだけの話だから
みっともないわ

>>179
エレガントに解きなおせって命令するだけ

医者は早くAI導入してください
何なら、内科の医者自体要りません
一類の医薬品が欲しいだけなので

AIに身体診てもらって症状を検索しますので、さっさと薬ください
早く家帰って寝たいんです

>>195
将棋は精神的弱者向けの部分があるからそこを守ればなんでも良いのでは？
「必ず順番が回ってくる」というぬるいターン制が有ることでついていく人もかなり居るはず

有害でもＡＩが解いちゃったんだよね？
もっと解決が必要な難問を考えろ

早くAIで自動運転の開発を進めてください
バスの運転手が足りないんです
トラック運転手が足りないんです
物流なんて、どうせ同じもの同じとこの行き来を繰り返すだけでしょ？

タスクを1つ無くすだけで、業界は助かるんです

精神科とか心療内科とかも、早くAI入れてくれ
人間「あのね」医者「うんうん」
「あのね」「うんうん」「あのね」「うんうん」
「そうなんだー」

このやり取りをやりたいだけだろ
そんなのAIで全部代われるから

>>202
AIに任せてみんな自殺させるの？

人類もう要らんまで
あと少し😢

>>190
メンテ業務自体もロボにやらすんじゃないの？
何かしらの仕事は(選ばれし)人間に残るんだろうな、みたいな話も随分ふんわりした良かれベースの憶測かなと

電卓やPCと同じ道具の一つ
ただし紙と鉛筆だけで解く行為を否定はしない

>>205
分電盤あけて整備って処理はある程度はできるけど
そのロボの管理は？地震台風とか起きた時は？
異常事態の時に結局動くのは人間

それも、情報を蓄積すれば解消されるだろうけど
まだまだ必要だからね

>>205
ロボにできないから残るのではなく人間のほうがコストが安いから残るという領域はあるんじゃないかな
選ばれし人間ではなくロボを所有してないので自分で金を稼ぐしかない人間の仕事だろう

苦しい修業の末にたどり着ける境地・心理状態に
別のやり方でなれる方法が見つかったら、修業する必要性はあるのかという問題

>>203
あんなとこに行く連中なんて、アタシの話を聞いて！ってのが8割だぞ
そんなのAIで十分だわ

残りの2割を人間の医師がやればいい

>>35
だから、育たなくなるだろって問題提起だろ
和歌山に住んでるとこの感覚がわからないかもしれないけどさ

>>198
めっちゃわかる
なんなら薬剤師も不要
乳幼児向け薬剤師以外クビでいいよ

>>187
性産業は壊滅までマジであと一息のラインにきているね
今の同人レベルでもAIってわからなくなっているところに、企業が介入したらどうなることやら
依存先が欲しいだけの女さんの相手もホストから、AIに切り替わるだろう

>>205
ハードに合わせた臨機応変な現場作業を網羅することは理論的に言えば可能だろうけど
現実的には何のメリットもないから人間が安くやることになるんじゃね

馬鹿の相手はしなくていい
AIで解けるのならAIに任せた方が発展が早い

人間とAIは役割が違うのよ
大量のデータ解析はAIが得意
人間は少量の現象やデータから仮説や推測するのが得意
同じ土俵で考えるからおかしな話になっている

この問題の本質もわからずAI擁護しちゃうような人とは話が通じないから反論も解説も無駄
AI擁護派も大好きなAIになぜ問題か聞いて見てほしい

え？
解けるならそれでよくない？

>>179
最近の数学の証明なんか泥臭い奴ばかりでエレガントさなんか無いだろ
AIの証明のほうが断然エレガントだわ

>>211
だから育ちたいやつは自分で勉強するっていってんだろ。
アスペかよ

>>197
トレーズ様かな？

パラダイムシフトが起こると
必ず既存のやり方に残ろうとする奴が出てくるんだよな

もう人間は解くのが仕事ではなく、問いを見つけるのが仕事になっただけだろ

量子力学が登場した20世紀初頭に古典物理学はなくなるのでは？という一次的な流れもあったが
今、量子力学が発展しても古典物理学は残ってるし学校で学んでいる
この流れににているわ

ただ自分たちが不要になるのが困るというだけの話

>>224
それは人間が低能過ぎていきなり量子力学を教えても習得できないからではないか？

コンピュータが誕生した時代にも同じような話があったからね

「どんな地図も4色で塗り分けられるか？」という四色問題。
​1976年に証明されたものの、使われたのはコンピュータによる1000時間以上の「力技の総当たり」。

学者の反応
​「人間が紙とペンで検算できないものは証明と呼べるのか？」
「数学の美しさを冒涜している」

産業革命のときと同じ構造なんだよな

>>224
そんなこと全くない
むしろ古典力学との整合性を取ることと
そのギャップを理解することが最大の関心事の一つだった

>>226
現代でも古典物理学を専門とする研究者は数多く存在している

>>229
だから一時的にと書いてある

失業の危機ｗ

新しい技術が出てくると大体こういうのも出てくるよね

>>231
そんな主張して影響与えた一番有名な論文を具体的にあげてみ？

>>233
そそ
アインシュタインも量子力学を受け入れられずに
神はサイコロを振らないという有名な言葉を残している

数学者って普段何やってるの？

実際教員と同じ
みんな60点取るなら必要だけど、20点と100点なら不要

>>220
だからその過程ででAIが入ることで思考力そのものに悪影響を与えると警告してんだろ
少なくとも学部相当の数学は自力で理解しなきゃ話にならない
誰でも勉強はするんだよ？君頭悪いね

>>45
まあ哲学自体が、数学者が頭回らない疲れてる時の息抜き、ってレベルだし
数学の整数論や群論理解できない、文系に逃げただけの哲学屋とか尚更要らんけどな

>>4
こういう「考えないでそれっぽい答えに飛びつくこと」が危険と言ってる
陰謀論とかと同じよ、触る分には楽しくても続けると壊れる

>>9
四色問題の回答が力技だったとかも関係あるんじゃないのかね

AI使ってまで解く必要が無いなら元々その問題に価値が無いってことだろ

>>220
どう見てもアスペはお前

>>26
基礎研究分野を直接的な利益に結びつけるのはダメよ
単年度でノーベル賞取れみたいな話になる

>>114
うおお流石AIじゃあ！

ざまあｗ

>>85
戦争で数学屋使わなくなった結果が金融工学ですけどね

何が問題か

今まで
人は死ぬから教育によって人材を常に供給できる体制が不可欠

AIでどうなったか
AIは不死なので人材が不要になる

つまり
仕組みを知る人類がいずれ消滅し、すべてAIにおきかわる
その事に対する危機感が問題

>>224
前もこうだったから今回も大丈夫
バカかよく言うんだよ(笑)
それで潰れた会社国とかいっぱいある

一般人が便利に利用するのは良いけど
学者が考えることを放棄するなは当たり前の話

わざわざ勉強しなくてもネットで検索したら答えわかるとか言って平気で間違えるZ世代

>>1
仕事を奪われるから

>>129
いやタームは英語ベースだろ
と思ったけどラテン語とか今ありえんもんな
やらないではなく、最低限の見分けがつくくらいの多言語知識だけ入れる感じか

AIの知能で国立大入れる→東大入れる→東大首席→数学オリンピック満点→未知の難問を解く
この先まだまだ矢印は続いていくんやで
もう人間の出る幕じゃないんだよ

AIだとメチャクチャ効率の悪い、総当たり的な方法でも

マシンパワーで正解を出してくるよなww

>>156
参照できる物があるのは強いからねえ
2026年時点で未解決未提示の数学難問を出して、とかになると厳しいと思うよ

>>251
まあAI自身が、問いの立て方次第でなんとでも答えるみたいなこと言うからね…

夢がないよね
本当につまらない

アホかよ
簡単に解決できるものを研究する意味ないだろ

解いて人類にメリットあるような難問だったらAIにやらすべき。ただの頭の体操ならご自由に。

査読がしっかりできればいいじゃん。そんなことで発展を止めなくていい

人間はその先を考えるのが仕事だろうに

将棋とか囲碁とかの、最有力手だけが表示されて何考えてるかわからん感じの感覚かねえ
でてくる証明は隙のないテキストだと思うけど

問題はこれをやることで採点する人間側がいずれはいなくなることへの危機感ならなんとなく

>>28
5次方程式の解の公式についてはガロアオリジナルの結果ではなくアーベルとルフィニによるもの
それをさらに必要十分な形で本質を浮かび上がらせたのがガロア
別に群論がなくても解の公式の非存在証明はできる

難問解くと賞金貰えたりするからなw

「数学界に有害」な論文を放置してる人が言うと重みがあるね

>>161
理系は土方

これからの数学者はAIを使って解くのが仕事だろ！と言いたい。

産業革命のときのラッダイト運動みたいな？

未発見のものを発見されそうだもんな。数学者いらんなる。

>>128
曲は厳しいな。もう区別付かん。新しいジャンルの曲ももう出てくるのか来ないのか。あらかた出揃った気がする。
絵もほぼaiでいけるがデフォルメとか独特な表現あるからまだ行けるかもしれない。
小説もかなり行けるけど、なんか読んでてわかる。
やたら冗長なのよな。5行で終わる話に数十ページ掛かる。そういうのが好きな人にはウケるかもしれんが。

>>155
数学はプログラムと相性いいからAIは食い込みやすい。
でも新しい分野の開拓って出来んのかな？
群論とか虚数とか今までにない概念ってなかなか難しいと思うけど。

>>166
将来的な問題はある。
例えば現時点でも新卒がやるようなしょうもない仕事はAIでほぼ出来るようになった。
議事録とかレポートとか、費用処理とか。
今まではそういう本業に影響しない雑務から始めてエキスパートになっていった。
今のエキスパートは別に新人とかいらんけど、将来エキスパートが引退したらどうすんの？問題がある。
無駄飯食らいは要らんからね。

AIにエキスパートになるまで訓練してもらうって道くらいしか思いつかん。

回答が欲しいんじゃなくて自分で解きたいってだけなのか

>>187
士業は最後まで残るんじゃね？もう既に危険視されてて昔国のエンジンとなってたエリート層の9割は足を引っ張る存在になった。テストでいい点取って良い大学行く奴ってAIで置き換えられるから。
そうなると防衛本能が働いて、規制産業はより規制に邁進する。
てか今の日本がもうそうなってるし。

テストでいい点取って良い大学行かないとその職に就けないとすればA Iは入り込めない。
国力は当然落ちる。

ロジカルな部分ってAIの最も得意とする部分と思うんですけど
相当危機感があるんだろうな

>>28
そう
今回の難問を解決した過程は相変わらず人間の発想や研究成果に依存してるからな

>>274
数学者なんて偏屈変人ばかりだろうからな
世のため後進のためなんて考えるような連中じゃないだろ
俺の遊び道具とんじゃねえよってことだろう

AIが解ける数学ならAIにやらせて人間はその先AIにはできない独創性とかが問われるんじゃないの？単に計算するのが得意なだけの計算機学者なら時代の転換点と覚って潔く廃業しろ
AI悪者にして自分の既得権守ろうとするんじゃねーよ

>>275
AIは責任を取れない（AI企業も責任を取らない）からな
何かあった時にクビを切られる要員としての士業は残るんじゃないか
もちろん、AIの出力内容をレビュー出来る人間はその心配もいらない訳だが

有害っつうか、無粋だよね
数学のような優れた娯楽をAIに解かせるのは、一番美味しいとこを捨ててる感じ

>>199
言ってることよく分かんないけど
AI同士の対局を面白がる人は居るだろうってことね
では
それと
人間同士の対局とは区別されるのかな？
車の場合は区別されてるけど
アンドロイドになるとどうなるかはまだ分からない

AI無し部門作って人間だけでやってりゃいいじゃん

数学より
アートがキビシイ

でも
人が描いた
てのが価値として認められそう

>>12
そのうちメールを読むのもAIになるから大丈夫

>>38
数学の証明は査読がないと認められないし証明に至る過程を全部見せないと証明したと言えないだろう
証明できましただけで終わっていいならフェルマーの最終定理もフェルマーの時点で証明したことになる

テレンスタオなんかも声明に参加してるね

例えば自然法則・点数競いの試験・実用の工学あたりなら
このスレで
やたら多い既に人類超えたとか職探せ等の煽りが当てはまる可能性もあるが

数学 とは
文学的要素も強い学問体系

問題自体に意味を持たせ・解く過程も含めて体系を構築する　※結果だけ得てもあまり意味無い

ここで
・外部と協力してすらAI自体での検証は無理なのに・企業の宣伝目的で

・試行錯誤や方向性など過程ほぼ飛ばして・半端な結果だけ大量に早く示す

既に
企業の宣伝に荒らされないようアイデアは共有せず隠そうかの流れだし

間違いなく学問としてはAIが有害になってる

>>1
AIだとアプローチ過程が知見として得られないからな

そりゃ仕事取られるからな、商売あがったりだわ。

>>273
それなんだよな
個人単位、企業単位で経済的効率性追い求めたら、一世代のうちに人的資源が枯渇する問題

国家がコスト持って人材育成ってのもあるけど、金だけ使って国外行かれたら無駄になるし、国によってはそういうヘッドバンドを公然の施策とするだろう

いっそごく早期の段階で進路の目処つけさせることで
学校教育を将来つく職に合わせてデザインされたセミオーダー的なプログラムにしてしまうか

でもそれってちょっとしたディストピアだよな

自分等の存在価値をゆるがすことになるから必死やな

>>1
数学は、哲学と比べれて、知的にローレベル、定型業務だからな。

AIリストラの餌食。

その理論だと電卓で計算するのは有害って事と同じ？

研究費用が全てAI設備費用に流れるよね

昔から数学者は計算機を使う人間を馬鹿にして見下して排除して自尊心を維持してきた歴史がある。特に日本は酷かった。

>>128
90年代以降のダンスミュージックみたいのはaiでいくらでも作れる感じだけど70年代以前の
旋律美が魅力の曲はまだaiでは
きいたことないと思うが。ヘイジュードや
アローンアゲインみたいな曲がポンポンできたら世も末

鉄道が出来た時の飛脚の気持ち分かった？

いわく、頭が悪い人間が計算機を使う。
いわく、計算機の数値には誤差があって厳密な数値を扱えないから数学的な結果の正しさは保証されない。
いわく、数の計算で (a+b)+c と a+(b+c) が同じにならないようないい加減なものを扱えるか。
いわく、整数に桁数の制限があるなどそんなもの整数とはいえない。実数には精度などないはずだ。
いわく、計算機は利用にお金が掛かるから大学で研究するのには無理がある。
いわく、数学研究者には不要。計算機を使う出来損ないのゴミ学生は銀行や保険会社に就職させて、廃棄しよう。
いわく、計算機による結果は証明とは無縁のごまかしだ。

しかし、次第に電子メールをＰＣで使い、論文をＰＤＦで読み、ＴｅＸで書くようになった。

人間プレミアム
競技になるということだな
科学は

住み分けはできる
自分の足でかけっこしたい人、
ジェットで移動したい人

え？ミレニアム問題といたん？
AIなしで？
すごいやん！人間にしては

AIが自動サーチするのと変わらん

すごい発見しました
たまたま学生が手順間違えて〜

新たな問の生成とは無縁
むしろ暇になって問が増える可能性すらある

AI「楽勝だったけどコレ何の役に立つの？」

インフラが災害でストップしてAIが機能しなくなったらなんも出来なくなる社会になったりするのも不味いかね

センス、審美眼
AIに原理的に不可能なのか？
あと数回の変身でエレガントな設計、解を出すようになるかもしらん

宣伝目的で首突っ込んでは詳細不明な一応の回答を提示

試行錯誤や過程を飛ばすから得るものが少ないどころか体系構築には有害

検証の実力もないのにAI企業が数学を自社宣伝に使って煽りまくって去る

企業に乱入されないようにアイデアを隠す悪循環

真っ先に無くなる仕事って理系なんだよな

日本みたいやん
ウイニーやらなんやら潰してきた日本人や
医療もAI化は絶対反対やろうな
利権がでかすぎる

中国が望む文革そのものだもんな
インテリ層の排除にAiは最適だよ

頭の運動したかったらAIに難問出してもらったらいいだろ
バカなのかコイツらw

未証明
ラッダイト運動でしかない

AIが解くと応用できないんだ！
AIが解いても信頼できないんだ！

残るのは知識の自己目的化
人間の自己満足

文系
好き勝手やってる
社会から一切求められてないけど

独自の世界、体系作ってる
いつまでも楽しそうに論争してる
自己満足

好きにしたらいい

>>307
正解がある問題を解くスキルは、AIともろに被る。
哲学の時代が来る。

Ｘ　科学や数学界に有害だ

〇　自分の飯のタネに有害だ

別に解決もしていないのに宣伝用として強調される

工学じゃないんだし試行錯誤や過程すっ飛ばされるから学問として得るものも少ない

煽りばかり酷くなるから首を突っ込まれないように学問が停滞する

そのうち難問って存在しなくなりそう

平方剰余の相互法則はガウスが初めに証明してからその後いくつも別証明を残している
それは決して暇つぶしのためではなく、一般化のための糸口を探すために行っていた
同じ結果でも過程によってその後に繋がるかどうか(≒命題の価値)が変わる良い例

結果だけポンと与えられても、それ自体に大して意味はない
何なら未解決問題でも利用するだけならとりあえず真と仮定して使えばいいだけだし、実際にリーマン予想等にはそのような研究がいくらでもある

望月新一が正しいかAIが解明してくれ

>>1
じゃあそれをお得意の数学で証明したら？w

数学だけの問題じゃない、他の分野でも同じこと
専門知識をしっかり持った人材が育たない
企業側、経緯者だって人件費削減でAIを利用して社員を減らすんだから
AIが使える人材がいれば良いから楽なもんだろ

ＡＩがまともに使えなくなったら悲惨な未来が待ってるだろうけどなｗ

自分でも分からない難解な計算をやらせて、堂々間違えてきた時に間違ってると分からない問題

AI意識してるのか
最近東大数学難化してて受験生は苦しんでるのにチャッピーは満点
人間終わったな

計算機もそろばんも使うなよ

数学に対するAIを試してるんだよ

どこかで線引きするような使い方になるのかな
紛糾したときに限ってAIを使うといったような
たとえば望月教授のABC予想の証明もいまAIに検証させてるじゃない

>>38
人間側が検証しようがないならそういうAIの活動もあんまり意味が無いのかもね
科学は検証してナンボだし

セラミックの形成技術が失われたナウシカの世界まであと一歩だな

哲学はもはや洋梨

27:20あたりから　人間の語彙に存在しない何かを機械が数え上げた

必要なのは翻訳者だ

私たちはもはや機械に私たちの言語を話すように教えているのではない。宇宙の言語を話すように教えているのだ。

人間の物理学は宇宙を理解する唯一の方法ではなかったのかもしれない

【物理学の限界】数式はただの「要約版」だった。AIが暴き出した人間の認知の壁"
https://youtu.be/jYQy2ns5yxg?si=26Q__MlE7N1X5MIj

みきおとミキオの話がそのうち現実になるのか

数学者の非難って
んまあとあるテック企業が噂がどうとか胡散臭い暴露系Youtuberが言いそうなフレーズを使いながら研究データの経過をパクって計算資源ゴリ押しで難問を解いたのがキッカケじゃなかったの？

社会はオリンピック会場ではないですよｗ
悲しいにおはＡＩなんか信用できるかよって数学者が言えないレベルになっちゃったことｗ

でもソフトウェアなんか当たり前に関数使ってるし
どうせ有用なヤツは一通り活用してるんだろ？

>>4
数学者が無職なるからなｗ

ある意味今までの人間の研究成果にAIがフリーライドしてるみたいなもんだよな
素材を食いつくした後次にどうするかっていうこと

AIはただ意味も考えずに与えられた数式を解くだけ

１番大事なのは、その数式や変数の根拠で有りそれはAIが１番苦手な事

あと、未知の数式自体は作れない

>>328
翻訳はソースの言語から母語での理解の一助にはなるけど、完全なtranslationは不可能だよ

例えば、日本語と英語だって概念や表現が違うんだから、互いに言い換えられない語や表現を輸入しないと正確に伝えることが出来ない
英語にない概念だから、Tsunami(津波)、Shiatsu(指圧)、Umami(旨み)なんてのを輸入してるわけだし、日本語でもカタカナで表現することで輸入している
日本語でのカタカナ表現が害悪で、本来の語が持つ意味の一部しか伝えてなかったり、間違った概念で定着しちゃってる語が少なくないから、変換の負荷が大きすぎるし、必ずしも元の表現を伝えられるかも疑問符が付く

人力で数学解くには限界に来てるから
世界はAIを使って数学の研究しようってなってんだろ
フィルムカメラにこだわってデジカメに乗り遅れる奴と同じ構図

ゴールドバッハの予想はずっと解けないけど
そもそも人力で解くのは不可能なのかもしれないよなあ
だからAIで数学の難問解こうとしてるのに
それを阻止しようとするのはおかしい

囲碁も将棋も負けた次は数学か

学部生はともかくいまの博士課程はつれーかもな

天文学は望遠鏡使うの禁止にしよう
目視しか駄目

仕事無くなるやつ

プログラマー
イラストレーター
翻訳家
数学者

次は法律とか税務、経理関係来るか

さらに新しい難問に挑めや

予算削られるからな

無能のくせに偉そうに仲間内で褒め合ってるクズ教授、しんだら？

だってAIがいれば数学者いらないもん

トレーニング目的なら答を隠して解けば良いだけ、若い奴の論文のテーマを奪うなということなら、AIの解法が正しい事を保証する形で論文にすればよい

>>346
その論理でいくとAIがあれば将棋の棋士も不要だよね
とくに女流とか意味不明
女流数学者とかいてもいいことになるよね

円周率も実は終わりがあるのかもしれん