AIで数学の難問を解く行為は「科学や数学界に有害だ」…世界の数学者25人が非難の緊急声明
【ワシントン=中根圭一】「数学界のノーベル賞」と呼ばれるフィールズ賞を受賞した森重文・京都大特別教授ら世界の数学者25人が11日、人工知能(AI)を使って企業が数学の難問を解く行為を非難する緊急声明を発表した。
数学の理解や新しい発想、人材育成という研究本来の目的を損なう恐れがあるとして、「科学や数学界に有害だ」と訴えた。
(以下略、続きはソースでご確認ください)
読売新聞オンライン 2026/09/12 17:46
https://www.yomiuri.co.jp/science/20260912-GYT1T00169
AIで数学の難問を解く行為は「科学や数学界に有害だ」…世界の数学者25人が非難の緊急声明 [すらいむ★]
1すらいむ ★
2026/09/12(土) 20:56:48.37ID:ez3TgktO59名無しのひみつ
2026/09/13(日) 12:45:52.24ID:hNrfLUOL テレンスタオも声明に参加したか
試験問題ならともかく数学は文学的な要素もある
試行錯誤や方向性など過程ほぼ飛ばして企業の宣伝目的で半端な結果だけ大量に早く示す
すでに荒らされないようアイデア隠す流れになってるし学問としては有害になってる
試験問題ならともかく数学は文学的な要素もある
試行錯誤や方向性など過程ほぼ飛ばして企業の宣伝目的で半端な結果だけ大量に早く示す
すでに荒らされないようアイデア隠す流れになってるし学問としては有害になってる
60名無しのひみつ
2026/09/13(日) 13:01:19.31ID:wnUbW7hj AIが数学を一から構成できるようになったらどうなるかは興味深い
人類の数学の発展の方向性に必然性はどれだけあったのだろうか?
人類の数学の発展の方向性に必然性はどれだけあったのだろうか?
62名無しのひみつ
2026/09/13(日) 14:15:04.88ID:IRdxNH/J まあ解いたからって何が有るわけでもなく
解くのが課題だったんだからAIで解いても意味無いわな
数学にあこがれる人間の手で解かないと数学者が全員料理人になってしまうぞ
解くのが課題だったんだからAIで解いても意味無いわな
数学にあこがれる人間の手で解かないと数学者が全員料理人になってしまうぞ
63名無しのひみつ
2026/09/13(日) 17:45:13.83ID:o/LVDT0c ベクトルが数学者ではなく工学関係から発明されたのを思い出したわ
数学者は「これ(ベクトル)は数学ではない」と最初言ってたんだよな
数学者は「これ(ベクトル)は数学ではない」と最初言ってたんだよな
64名無しのひみつ
2026/09/13(日) 18:46:51.86ID:rkRf+HRg65名無しのひみつ
2026/09/13(日) 18:50:10.81ID:rkRf+HRg 例えばソクラテスやピタゴラスからは哲学は生まれるが東洋思想に近くなる
同じ系統でもユークリッドは現代数学に近くなる
思想になっちゃうか科学になるかの違い。思想じゃ飯食えない時代である
同じ系統でもユークリッドは現代数学に近くなる
思想になっちゃうか科学になるかの違い。思想じゃ飯食えない時代である
66名無しのひみつ
2026/09/13(日) 18:50:47.82ID:rkRf+HRg xピタゴラス 〇プラトン
67名無しのひみつ
2026/09/13(日) 18:56:30.05ID:Ney6WYL/ >>56
AIは猿の手。幻覚症状みるとそういう行動に移る
「環境破壊を止めて」という
プロンプトだけ与えたら、迷わず人類殲滅に動く
「人の生活保ちながら環境破壊を止めて」という
プロンプト与えたら、人間を間引く
「人を殺さず環境破壊を止めて」という
プロンプト与えたら、人間を機械に繋いで管理する
AIは猿の手。幻覚症状みるとそういう行動に移る
「環境破壊を止めて」という
プロンプトだけ与えたら、迷わず人類殲滅に動く
「人の生活保ちながら環境破壊を止めて」という
プロンプト与えたら、人間を間引く
「人を殺さず環境破壊を止めて」という
プロンプト与えたら、人間を機械に繋いで管理する
68名無しのひみつ
2026/09/13(日) 19:00:26.30ID:rkRf+HRg 更に付け加えると、哲学や思想はいくらでも妄想が可能な自由であるが、これをイデアなどと言ってしまうと、
アリストテレスおじさんが出てきて妄言的自由が言論チェック機関となり権威警察化しダークな時代になっていく、
一方、数学は積み重ねていくしかないので止めたらそこで自由が終わる。
自由を保とうとして自由を消しちゃうようなのが思想的結論な人々という事であるように思える
アリストテレスおじさんが出てきて妄言的自由が言論チェック機関となり権威警察化しダークな時代になっていく、
一方、数学は積み重ねていくしかないので止めたらそこで自由が終わる。
自由を保とうとして自由を消しちゃうようなのが思想的結論な人々という事であるように思える
69名無しのひみつ
2026/09/13(日) 22:44:57.13ID:5R9JGhX/ 自分達の仕事が無くなるからな
70名無しのひみつ
2026/09/13(日) 22:59:31.26ID:9fp7aflc 難問の答えを見て、理解が出来るならAIを使っても問題無いと思う。電卓の代用品程度。
71名無しのひみつ
2026/09/13(日) 23:17:36.61ID:Z33UoRa5 AIと共同研究できないのだろうか
将棋はAIと共存して「観る将棋」のファンを増やしているのだが
将棋はAIと共存して「観る将棋」のファンを増やしているのだが
72名無しのひみつ
2026/09/13(日) 23:35:25.56ID:u6ICAQzn 自分らの仕事をAIに奪われるのが嫌なんだろうね
73名無しのひみつ
2026/09/14(月) 00:02:46.82ID:Vmtpr25C 世界中が停電する事態にならんのならドンドンAIだな。
74名無しのひみつ
2026/09/14(月) 06:36:55.25ID:GrueqBEB 自動でできるものは自動でやったほうがいい
どんな知が求められるか分かってくる
人間が必要なくなるかもしれないとしてもいいじゃないか
どんな知が求められるか分かってくる
人間が必要なくなるかもしれないとしてもいいじゃないか
75名無しのひみつ
2026/09/14(月) 12:52:00.44ID:CTAnFQAN 将棋AIが進化したら一手目でどちらが勝つか分かるようになるんだろ
常に0%か100%になる
そしたら将棋なんて誰も見なくなるわな
常に0%か100%になる
そしたら将棋なんて誰も見なくなるわな
76名無しのひみつ
2026/09/14(月) 15:00:50.39ID:vkKo1w0V 将棋用AIというかソフトは、その手がなぜ良いかを説明する事が出来ない。Claudeなどの汎用AIが出てやっと解説出来るようになって来たが。
証明もLeanを解説し説明してくれるものが必要
証明もLeanを解説し説明してくれるものが必要
77名無しのひみつ
2026/09/14(月) 17:55:39.81ID:li+efbfO さすがに見苦しい苦笑
78名無しのひみつ
2026/09/14(月) 18:10:05.59ID:L1s79LTF 古くは4色問題の証明がコンピュータによってなされた時も賛否両論あったけど、数学者が受け入れようと受け入れまいと、AIが数学分野を侵食する流れは加速こそすれ止まることはない。
79名無しのひみつ
2026/09/14(月) 18:20:31.28ID:CowkEP0e うちゅーじんみたいな連中の立場なくなるからな
80名無しのひみつ
2026/09/14(月) 18:29:55.68ID:dlg+YwQ4 AIに仮想定理を作らせろよ
81名無しのひみつ
2026/09/14(月) 18:35:01.52ID:icnjRmn/ ワシはAIに"おめこ"の定義を質問したら回答拒否されたで
82名無しのひみつ
2026/09/14(月) 18:35:45.51ID:os07ZGNj AIによって高度に発展しすぎた数学は、人間に分かるように説明することが不可能になるんじゃなかろうか
83名無しのひみつ
2026/09/14(月) 18:55:05.95ID:bMsO+sSD 数学者やプログラマーだけの問題じゃないのだけどな
84名無しのひみつ
2026/09/14(月) 18:57:50.75ID:D9Evld39 >>1
>数学の理解や新しい発想、人材育成という研究本来の目的
ええ?人類の発展じゃなくてトレーニング目的でやってるつもりだったの???
われわれのお勉強のためのお勉強に投資されてるんだなんて認識はアリなのかい
>数学の理解や新しい発想、人材育成という研究本来の目的
ええ?人類の発展じゃなくてトレーニング目的でやってるつもりだったの???
われわれのお勉強のためのお勉強に投資されてるんだなんて認識はアリなのかい
85ふかしいも
2026/09/14(月) 18:58:15.53ID:wj8prW0z ドイツが水上艦ミサイル発射
移民の影響比較されていますが人工知能AIに任せるのが怖い
移民の影響比較されていますが人工知能AIに任せるのが怖い
86ふかしいも
2026/09/14(月) 18:58:55.02ID:wj8prW0z >>85サイエンスは比較検証ですからね
87ふかしいも
2026/09/14(月) 18:59:54.17ID:wj8prW0z >>85正露丸が良く売れているみたいだが、食中毒死は大変だ。
88名無しのひみつ
2026/09/14(月) 19:01:48.75ID:3Aimttq7 数学が人の脳みその限界を超えたら魔法になんだろ
89名無しのひみつ
2026/09/14(月) 19:08:15.08ID:gQu5Pqnz あんたが解きたいんなら勝手にやってればいいだけなのに。
早く問題を解いて役立てればいいだけだし。
早く問題を解いて役立てればいいだけだし。
90名無しのひみつ
2026/09/14(月) 19:16:24.06ID:07q72ENl AIが苦手なこと
幼稚園児みたいに、モノの数を数えること
幼稚園児みたいに、モノの数を数えること
91名無しのひみつ
2026/09/14(月) 19:18:08.30ID:7/ahWfrR >>60
0の除算が処理できない時点で、現在の数学には根本的な問題があるからな
数千年の累積がパーになるから、今更0の処理を再定義する数学体系なんて人間には作れないがAIならできるかも知れん
人間の最高の数学者の3000倍程度の処理力があれば、今までに人間が蓄積してきた数学研究と同等の作業をこなせるはず
0の除算が処理できない時点で、現在の数学には根本的な問題があるからな
数千年の累積がパーになるから、今更0の処理を再定義する数学体系なんて人間には作れないがAIならできるかも知れん
人間の最高の数学者の3000倍程度の処理力があれば、今までに人間が蓄積してきた数学研究と同等の作業をこなせるはず
93名無しのひみつ
2026/09/14(月) 19:38:53.15ID:yztbmGcp 有害なのはおめーらだろw
非難声明じゃなくてただの悲鳴だろw
非難声明じゃなくてただの悲鳴だろw
94名無しのひみつ
2026/09/14(月) 19:45:09.22ID:4wXvP2oh >>54
数学は既に多次元を完璧に扱っているけど何の話してんの???
数学は既に多次元を完璧に扱っているけど何の話してんの???
95名無しのひみつ
2026/09/14(月) 20:06:12.61ID:yteY0ds0 商売上がったりってかw
96名無しのひみつ
2026/09/14(月) 22:08:51.49ID:1ai65lib 数学がこうなるとは信じ難い
97名無しのひみつ
2026/09/14(月) 23:42:43.44ID:a3KFh6vU >>94
宇宙物理学と数学は違うのよ似てるようでも
宇宙物理学と数学は違うのよ似てるようでも
98名無しのひみつ
2026/09/15(火) 04:49:54.90ID:4GXmUGdG 今のAIだと既存の解き方以外の解き方を開発できない
でも世界最高頭脳を量産して並列処理するのはできるな
でも世界最高頭脳を量産して並列処理するのはできるな
99名無しのひみつ
2026/09/15(火) 09:56:05.47ID:ZmBwAoTe 数学の本質は圧縮
簡単な式に導くのが目的
世の中は複雑すぎ、人類の脳は整理しきれない
それを集合知で圧縮する作業
AIが人類を越えるスペックを持つ時、人類には理解出来ない数学が誕生するかも
簡単な式に導くのが目的
世の中は複雑すぎ、人類の脳は整理しきれない
それを集合知で圧縮する作業
AIが人類を越えるスペックを持つ時、人類には理解出来ない数学が誕生するかも
100名無しのひみつ
2026/09/15(火) 18:37:57.79ID:AoUqJNHO >>84
企業 高い報酬祓っているのにその認識は問題がありますね
企業 高い報酬祓っているのにその認識は問題がありますね
101名無しのひみつ
2026/09/15(火) 20:26:44.72ID:DaFZzNRO 確かにAI使いだしてから問題に正面から深く考えて答えを導き出す事をしなくなったな
もういいオッサンだからいいけど若い頃から使ってたら思考力が落ちていたかもなと思う
もういいオッサンだからいいけど若い頃から使ってたら思考力が落ちていたかもなと思う
102名無しのひみつ
2026/09/15(火) 21:47:59.45ID:/PalK4/+ >>1
なんで良くないかって
AIは今までの数学者たちのデータの積み重ねから産出してるからであり
今後その数学者たちがデータの積み重ねをするための未解決問題が減るから
結局未来のAIのデータがなくなるから
って聞いたことあるけどこれほんとなん?なんか違うような
なんで良くないかって
AIは今までの数学者たちのデータの積み重ねから産出してるからであり
今後その数学者たちがデータの積み重ねをするための未解決問題が減るから
結局未来のAIのデータがなくなるから
って聞いたことあるけどこれほんとなん?なんか違うような
103名無しのひみつ
2026/09/15(火) 23:59:36.14ID:fWNE2wq8 他スレ
>平方剰余の相互法則はガウスが初めに証明してからその後いくつも別証明を残している
>それは決して暇つぶしのためではなく、一般化のための糸口を探すために行っていた
>同じ結果でも過程によってその後に繋がるかどうか(≒命題の価値)が変わる良い例
>結果だけポンと与えられても、それ自体に大して意味はない
>何なら未解決問題でも利用するだけならとりあえず真と仮定して使えばいいだけだし、実際にリーマン予想等にはそのような研究がいくらでもある
宣伝のため首を突込んで、過程すっ飛ばして回答らしきもの?置いていく
>平方剰余の相互法則はガウスが初めに証明してからその後いくつも別証明を残している
>それは決して暇つぶしのためではなく、一般化のための糸口を探すために行っていた
>同じ結果でも過程によってその後に繋がるかどうか(≒命題の価値)が変わる良い例
>結果だけポンと与えられても、それ自体に大して意味はない
>何なら未解決問題でも利用するだけならとりあえず真と仮定して使えばいいだけだし、実際にリーマン予想等にはそのような研究がいくらでもある
宣伝のため首を突込んで、過程すっ飛ばして回答らしきもの?置いていく
104名無しのひみつ
2026/09/16(水) 07:19:25.97ID:1SA6y7m4 >>103
証明が与えられたということは、(体系が矛盾しない限り)反証できないことが分かったわけで、大いに意味があるだろう
証明が与えられたということは、(体系が矛盾しない限り)反証できないことが分かったわけで、大いに意味があるだろう
105名無しのひみつ
2026/09/16(水) 07:57:57.82ID:8O0V3ON3 pcとかスマホとか車とか乗り物とか詳しいことは知らなくても便利な結果を享受している
数学もそれと同じようにAIに解かせて分かったものを使えばいいんだよ
数学もそれと同じようにAIに解かせて分かったものを使えばいいんだよ
106名無しのひみつ
2026/09/16(水) 08:47:40.30ID:U+yiZjoJ 敗北宣言に≒
108名無しのひみつ
2026/09/16(水) 09:39:12.68ID:hWdxVUV+ >>91
https://ja.wikipedia.org/wiki/%E8%BC%AA_(%E6%95%B0%E5%AD%A6)
数学における輪[訳語疑問点](りん、英: wheel)は、環に似た代数系で、除法が常に可能となる(特に零除算が意味を持つ)ようなものである。
https://ja.wikipedia.org/wiki/%E8%BC%AA_(%E6%95%B0%E5%AD%A6)
数学における輪[訳語疑問点](りん、英: wheel)は、環に似た代数系で、除法が常に可能となる(特に零除算が意味を持つ)ようなものである。
109名無しのひみつ
2026/09/16(水) 11:02:09.68ID:cai66ECeレスを投稿する
ニュース
- 【実況】ショートスリーパー堀大輔の7日間LIVE 本日最終日★35 [爆笑ゴリラ★]
- 「洗濯物を回収するため」ベランダで全裸、公然わいせつ容疑で男逮捕 歩行中の女性が目撃 兵庫 ★2 [少考さん★]
- 【訃報】28歳俳人グラドル「膣ギロチン」こと田口あわさんが9日に亡くなっていた、吉本芸人が追悼「突然のことで言葉が…」 [征夷大将軍★]
- 「ゼロ打ちで勝つ準備をしていたのに」 スター戦術押し切れず デニー(氏)人気の衰退に気付くも時遅し (沖縄タイムス) [少考さん★]
- 運航団体「誠実に事実と向き合う」 辺野古転覆から半年、謝罪声明 [少考さん★]
- 【エロ】突然の通知「50万円を支払え」、詐欺かと思いきや…ひょっとしてあの動画のせい? 放置すれば刑事告訴の恐れも [nita★]
- ポケモン30周年カード、買ってるのほぼベトナム人
- 高市早苗「私の脅威になる」と林芳正を『排除』へ [931948549]
- 「袋ラーメンは、火を止めてから粉末スープを入れて下さい」(ヽ´ん`)「うるせえ! 俺に命令するな!」 [592058334]
- 【高市】企業「コンサルさんお願いします」コンサル「派遣会社に丸投げします」派遣会社「準委任契約で」派遣社員「企業さんコンサルです [784319933]
- 中国で開催された国際会議、日本だけ参加できずw [668024367]
- 中日サノー .220(286 -63) 22本 48点 OPS.772