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

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

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

（以下略、続きはソースでご確認ください）

読売新聞オンライン　2026/09/12 17:46
https://www.yomiuri.co.jp/science/20260912-GYT1T00169

AIがどう解いたか？のプロセスが可視化されてれば問題なかろう
尤も早晩それも判らなくなりそうだが

一方中国と韓国ではAIメガネが大人気
メガネに解答がでるので試験会場で重宝してるとか、いまでは試験会場に金属探知ゲートはあたりまえ
対策のない日本は来年の大学入試で中国人と韓国人の草刈り場に

数学者でさえ、既得権益化した老害になるのか。
有害はおまえらだよ。学問をなんだと勘違いしてるのか。

>AIがどう解いたか？のプロセスが可視化されてれば問題なかろう
尤も早晩それも判らなくなりそうだが

AIに劣った人間数学者のレベルまで下げて解説捺せたら良いだけのこと、何の問題もない

そろばん塾の先生が「電卓で問題を解く行為は珠算に有害だ」と言うようなもので…

いやいや、いつまでたっても難問の解決ができない方が有害でしょ！解決は早い方がよいだろう。

どこかで見た光景　絵師だっけ？🤣🤣
これはなんていえばいいのか🤔🤔🤔
演算師？🤣🤣🤣

「企業が数学の難問を解く」なんてのはたぶん暗号分野とかそっちが大半かも知れんけど
それ以外にもＡＩが解けちゃう問題がちょいちょい有るんだろうね＾＾;

証明師とか？🤣🤣

🚨数学版・絵師問題

AI「あこがれは止められねぇんだ

要はお前らよりAIのほうが優秀なのでやっかんでるだけだろ。
今後は数学者は不要になるよ。

すっごい小並感だけど、数学者があんまりやりたがらないような、
既に人間が証明済みの問題(答えが判明している問題)を
まったく別の手段、別のルートから解く、みたいなのが流行るのではないか？

その過程で知られていなかった領域同士の関係性が判明したりして
実際に物理なんかで「使われてる」「役に立ってる」のはそういう知見が多いよね？＾＾;ｼﾗﾝｹﾄﾞ

4色問題のときもコンピューターを使うなんて
って言われたらしいな

科学や数学界に有害どころか有益だぞ。
難問解くのはAIにやらせる。
人はその先を考えて研究する。
それができない半端な学者が不要になるだけ。

使い方次第では基礎教育の段階だと悪影響の方が大きそうな気はする
ただし便利である事とか効率的であるは間違いないわけで、ツールとしてのAIを否定する事はできない

その上で、便利で効率的だからこそ基礎教育の段階から「道具の使い方」を指導することも必要な気はする

考えるべきだとは思うけど、考え出すとめんどくせー

答えだけ求めるのは無駄だが
解き方を学ぶのは有効では？
基礎が大事、自分で最初から解くとかこまけーこというなよ

真理を知りたい、とか思わんのかね？
それが原動力で学者やってるはずなのに、本末転倒も甚だしい
数学者なんて一番、俗世間から隔離された人種なのに、
俗物すぎる声明を出して恥だと思わないんだな
コイツラは人類の恥だよ、フィールズ賞とかキャンセルされるレベル

非科学主義者め

超知能がやってることは、もはや人類の最高の知性でも理解不能になる、なんて、
はるか昔から予想されてたことで、それが遂にSFではなくて現実になった、
ってコイツラ最高の知性が認める声明を出した、という意味では意義深い。
これまで誰にも追い抜かれなかった連中が、追い抜かれて、その事実を認めたくないです、
ってことを、誰にでも見透かされる、くっそしょーもない言い訳で声明を出したと。
気の利いた学者もおるから、批判されて、末永く人類の恥として記憶されるんじゃない？

難問が解けるってことは数学者にとって次の難問を解く武器になるわけで
人による検証が追いつかなくなら検証もAIがやることになるだろうよ

将棋でAI禁止したけど　数学なら誰も損しないし　
難問も短時間で解けて人類に貢献しないか？

将棋は人間限定のゲーム、という取り決めにしたら丸く収まるけど、
数学は、論理でしかないんで、誰が解こうが関係ないからね。論理しかない。
それを研究の目的＝教育、みたいに
論理破綻した詭弁で既得権益守ろうとする数学者はジョークでしかない。

人間がAI論文を査読できないとどうなる？
AI同士で査読するのか？

世の中は過程よりも結果なの。

>>25
原理的には限界がある。
LEAN＋AIでやっても、バグがあるかどうかは、そのシステム自身は判断ができない。
ゲーテルの不完全性定理
外部のより強固なシステムで、ってやったとしても、いたちごっこで同じ
ゲーテルの不完全性定理

数学者も使えばイイじゃん

こういうの見るたび活弁を思い出す
さっさと次の仕事探せ

数学者の存在意義がなくなるからだろ
AIで仕事が無くなるって言われてるけど
一番早く無くなるのは数学者だな

>>27
ゲーデル

クルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー帝国出身の数学者・論理学者・哲学者である。業績としては、完全性定理、不完全性定理[1]および連続体仮説に関する研究が知られる。

将棋と同じような訳にはいかんのか
まあもっとも、将棋も実は良くないのかもしれんがな

まあ言ってることはまとも

科学一般に当てはまるかは微妙だが、数学（大学以降）と工学は根本が違う
AI同士の検証とか無理

そらAI使えねー言いまくってったのが数学者だったじゃん
企業は、じゃあ使えるか証明してみようか！
アンチが終わらない限り続く！

数学はみんなのもの
数学者が金や名声を得るためのものではない

むしろ、問題提起、問題の解決、及び問題解決の過程から得られた有用な知見をまとめること
の３つをAIで自動化するという方向にしてはどうだろう？
アルファ碁みたいに猛烈な勢いで数学が発展して人間は全く追いつけなくなりそう
最終的には数学的なツールの欠如という一つの科学のボトルネックが実質的に解消されることになるのではないか

Leanの型理論モデルは修正されまくってる未完成な理論なので
これを証明って呼んじゃだめです
なんかAIの宣伝で通販番組の大げさなリアクションみたいなステマが増えてる

Leanの型理論モデルは修正されまくってる未完成な理論なので
これを証明って呼んじゃだめです
なんかAIの宣伝で通販番組の大げさなリアクションみたいなステマが増えてる

前からスパコンで力任せの総当たり方式で答えを探す行為は行われてきた
スパコンがオーケーでAIはダメというのはよくわからない

AIが答えだけ先に出す
ラマヌジャンのように
人間は後から検証を行うだけだ
最近はAIが直感で答えを出し人間がそれに振り回されてる

leanで問題なしと見做されたから正解という訳でもないんだがな

パズルを機械で解いても面白くないだろ

人間は人間が理解し検証できるレベルの数学しか生み出せない
AIにはその限界を超えられる可能性がある

>>27
限界があるのは人間も同じでしょ

将棋に例えると、棋士は解説者になるしかない?

数学者が真っ先に失業とは

リーマン予想やP≠NP予想すらAIが解決しちゃうかもなぁ…
創造性とはいったい

生物の進化と多様性を見れば明らかなように創造性は人間だけのものではない

コイツら数学を理解してないのが糞
それとも数学を学んで言ってる糞なのか？

数学の本質は公理なんだよ
公理ってのは公に知られた役に立つ理
宇宙際タイヒミュラー理論が未だ数学になってないのは、工業や科学での有用性がまだ発見されていないからってだけ
つまり数学の発展に仇なすコイツラは人類の敵だよ

料理のレシピや数学の理論に特許がないのも、人類の益であることが本質であるから
数学はオマエラのもんだけじゃないんだよ

AIって超人じゃないよ

簡単に言えば、ギフテッドの発達障害
社会的には無能力者

紙と鉛筆で算数したほうがいいみたいなことか？

非難じゃなくて協力体制築けよ

仕事取られるから必死ですよ、もう

>>43
多次元の解釈とか出来ないと宇宙の解明は無理だから
人類の限界はそこだよ

非難ってｗｗｗ

AI「人間は不要、地球に巣食う寄生虫」

>>56
そんな人間みたいなこと考えねーべw

真実はもっとこわひ

テレンスタオも声明に参加したか
試験問題ならともかく数学は文学的な要素もある

試行錯誤や方向性など過程ほぼ飛ばして企業の宣伝目的で半端な結果だけ大量に早く示す

すでに荒らされないようアイデア隠す流れになってるし学問としては有害になってる

AIが数学を一から構成できるようになったらどうなるかは興味深い
人類の数学の発展の方向性に必然性はどれだけあったのだろうか？

>>54
皆が考えてたよりもっと宇宙はシンプルなものかもしれないって意見が増えてきた気がする

まあ解いたからって何が有るわけでもなく
解くのが課題だったんだからAIで解いても意味無いわな
数学にあこがれる人間の手で解かないと数学者が全員料理人になってしまうぞ

ベクトルが数学者ではなく工学関係から発明されたのを思い出したわ

数学者は「これ（ベクトル）は数学ではない」と最初言ってたんだよな

>>59
でも中華系の数学的思想って数学史の中でイケテナイからね
日本の数学とか中華由来だから2026年には完全に使い道のないウンコになっちゃった

例えばソクラテスやピタゴラスからは哲学は生まれるが東洋思想に近くなる
同じ系統でもユークリッドは現代数学に近くなる
思想になっちゃうか科学になるかの違い。思想じゃ飯食えない時代である

ｘピタゴラス　〇プラトン

>>56
AIは猿の手。幻覚症状みるとそういう行動に移る

「環境破壊を止めて」という
プロンプトだけ与えたら、迷わず人類殲滅に動く

「人の生活保ちながら環境破壊を止めて」という
プロンプト与えたら、人間を間引く

「人を殺さず環境破壊を止めて」という
プロンプト与えたら、人間を機械に繋いで管理する

更に付け加えると、哲学や思想はいくらでも妄想が可能な自由であるが、これをイデアなどと言ってしまうと、
アリストテレスおじさんが出てきて妄言的自由が言論チェック機関となり権威警察化しダークな時代になっていく、
一方、数学は積み重ねていくしかないので止めたらそこで自由が終わる。
自由を保とうとして自由を消しちゃうようなのが思想的結論な人々という事であるように思える

自分達の仕事が無くなるからな

難問の答えを見て、理解が出来るならAIを使っても問題無いと思う。電卓の代用品程度。

AIと共同研究できないのだろうか

将棋はAIと共存して「観る将棋」のファンを増やしているのだが

自分らの仕事をAIに奪われるのが嫌なんだろうね

世界中が停電する事態にならんのならドンドンAIだな。

自動でできるものは自動でやったほうがいい
どんな知が求められるか分かってくる
人間が必要なくなるかもしれないとしてもいいじゃないか

将棋AIが進化したら一手目でどちらが勝つか分かるようになるんだろ
常に0%か100%になる
そしたら将棋なんて誰も見なくなるわな

将棋用AIというかソフトは、その手がなぜ良いかを説明する事が出来ない。Claudeなどの汎用AIが出てやっと解説出来るようになって来たが。
証明もLeanを解説し説明してくれるものが必要

さすがに見苦しい苦笑

古くは4色問題の証明がコンピュータによってなされた時も賛否両論あったけど、数学者が受け入れようと受け入れまいと、AIが数学分野を侵食する流れは加速こそすれ止まることはない。

うちゅーじんみたいな連中の立場なくなるからな

AIに仮想定理を作らせろよ

ワシはAIに"おめこ"の定義を質問したら回答拒否されたで

AIによって高度に発展しすぎた数学は、人間に分かるように説明することが不可能になるんじゃなかろうか

数学者やプログラマーだけの問題じゃないのだけどな

>>1
＞数学の理解や新しい発想、人材育成という研究本来の目的

ええ？人類の発展じゃなくてトレーニング目的でやってるつもりだったの？？？
われわれのお勉強のためのお勉強に投資されてるんだなんて認識はアリなのかい

ドイツが水上艦ミサイル発射
移民の影響比較されていますが人工知能AIに任せるのが怖い

>>85サイエンスは比較検証ですからね

>>85正露丸が良く売れているみたいだが、食中毒死は大変だ。

数学が人の脳みその限界を超えたら魔法になんだろ

あんたが解きたいんなら勝手にやってればいいだけなのに。
早く問題を解いて役立てればいいだけだし。

AIが苦手なこと
幼稚園児みたいに、モノの数を数えること

>>60
0の除算が処理できない時点で、現在の数学には根本的な問題があるからな
数千年の累積がパーになるから、今更0の処理を再定義する数学体系なんて人間には作れないがAIならできるかも知れん
人間の最高の数学者の3000倍程度の処理力があれば、今までに人間が蓄積してきた数学研究と同等の作業をこなせるはず

>>91
DIV/0エラーを吐いて止まります

有害なのはおめーらだろｗ
非難声明じゃなくてただの悲鳴だろｗ

>>54
数学は既に多次元を完璧に扱っているけど何の話してんの？？？

商売上がったりってかｗ

数学がこうなるとは信じ難い

>>94
宇宙物理学と数学は違うのよ似てるようでも

今のAIだと既存の解き方以外の解き方を開発できない
でも世界最高頭脳を量産して並列処理するのはできるな

数学の本質は圧縮
簡単な式に導くのが目的
世の中は複雑すぎ、人類の脳は整理しきれない
それを集合知で圧縮する作業

AIが人類を越えるスペックを持つ時、人類には理解出来ない数学が誕生するかも

>>84
企業　高い報酬祓っているのにその認識は問題がありますね

確かにAI使いだしてから問題に正面から深く考えて答えを導き出す事をしなくなったな
もういいオッサンだからいいけど若い頃から使ってたら思考力が落ちていたかもなと思う