探検


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

1すらいむ ★
垢版 |
2026/09/12(土) 20:56:48.37ID:ez3TgktO
AIで数学の難問を解く行為は「科学や数学界に有害だ」…世界の数学者25人が非難の緊急声明

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

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

読売新聞オンライン 2026/09/12 17:46
https://www.yomiuri.co.jp/science/20260912-GYT1T00169
59名無しのひみつ
垢版 |
2026/09/13(日) 12:45:52.24ID:hNrfLUOL
テレンスタオも声明に参加したか
試験問題ならともかく数学は文学的な要素もある

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

すでに荒らされないようアイデア隠す流れになってるし学問としては有害になってる
60名無しのひみつ
垢版 |
2026/09/13(日) 13:01:19.31ID:wnUbW7hj
AIが数学を一から構成できるようになったらどうなるかは興味深い
人類の数学の発展の方向性に必然性はどれだけあったのだろうか?
2026/09/13(日) 13:10:54.03ID:bSPDLRRV
>>54
皆が考えてたよりもっと宇宙はシンプルなものかもしれないって意見が増えてきた気がする
62名無しのひみつ
垢版 |
2026/09/13(日) 14:15:04.88ID:IRdxNH/J
まあ解いたからって何が有るわけでもなく
解くのが課題だったんだからAIで解いても意味無いわな
数学にあこがれる人間の手で解かないと数学者が全員料理人になってしまうぞ
63名無しのひみつ
垢版 |
2026/09/13(日) 17:45:13.83ID:o/LVDT0c
ベクトルが数学者ではなく工学関係から発明されたのを思い出したわ

数学者は「これ(ベクトル)は数学ではない」と最初言ってたんだよな
64名無しのひみつ
垢版 |
2026/09/13(日) 18:46:51.86ID:rkRf+HRg
>>59
でも中華系の数学的思想って数学史の中でイケテナイからね
日本の数学とか中華由来だから2026年には完全に使い道のないウンコになっちゃった
65名無しのひみつ
垢版 |
2026/09/13(日) 18:50:10.81ID:rkRf+HRg
例えばソクラテスやピタゴラスからは哲学は生まれるが東洋思想に近くなる
同じ系統でもユークリッドは現代数学に近くなる
思想になっちゃうか科学になるかの違い。思想じゃ飯食えない時代である
66名無しのひみつ
垢版 |
2026/09/13(日) 18:50:47.82ID:rkRf+HRg
xピタゴラス 〇プラトン
2026/09/13(日) 18:56:30.05ID:Ney6WYL/
>>56
AIは猿の手。幻覚症状みるとそういう行動に移る

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

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

「人を殺さず環境破壊を止めて」という
プロンプト与えたら、人間を機械に繋いで管理する
68名無しのひみつ
垢版 |
2026/09/13(日) 19:00:26.30ID:rkRf+HRg
更に付け加えると、哲学や思想はいくらでも妄想が可能な自由であるが、これをイデアなどと言ってしまうと、
アリストテレスおじさんが出てきて妄言的自由が言論チェック機関となり権威警察化しダークな時代になっていく、
一方、数学は積み重ねていくしかないので止めたらそこで自由が終わる。
自由を保とうとして自由を消しちゃうようなのが思想的結論な人々という事であるように思える
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と共存して「観る将棋」のファンを増やしているのだが
72名無しのひみつ
垢版 |
2026/09/13(日) 23:35:25.56ID:u6ICAQzn
自分らの仕事をAIに奪われるのが嫌なんだろうね
73名無しのひみつ
垢版 |
2026/09/14(月) 00:02:46.82ID:Vmtpr25C
世界中が停電する事態にならんのならドンドンAIだな。
2026/09/14(月) 06:36:55.25ID:GrueqBEB
自動でできるものは自動でやったほうがいい
どんな知が求められるか分かってくる
人間が必要なくなるかもしれないとしてもいいじゃないか
75名無しのひみつ
垢版 |
2026/09/14(月) 12:52:00.44ID:CTAnFQAN
将棋AIが進化したら一手目でどちらが勝つか分かるようになるんだろ
常に0%か100%になる
そしたら将棋なんて誰も見なくなるわな
2026/09/14(月) 15:00:50.39ID:vkKo1w0V
将棋用AIというかソフトは、その手がなぜ良いかを説明する事が出来ない。Claudeなどの汎用AIが出てやっと解説出来るようになって来たが。
証明も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に任せるのが怖い
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が苦手なこと
幼稚園児みたいに、モノの数を数えること
2026/09/14(月) 19:18:08.30ID:7/ahWfrR
>>60
0の除算が処理できない時点で、現在の数学には根本的な問題があるからな
数千年の累積がパーになるから、今更0の処理を再定義する数学体系なんて人間には作れないがAIならできるかも知れん
人間の最高の数学者の3000倍程度の処理力があれば、今までに人間が蓄積してきた数学研究と同等の作業をこなせるはず
2026/09/14(月) 19:36:48.45ID:HWQS2heb
>>91
DIV/0エラーを吐いて止まります
93名無しのひみつ
垢版 |
2026/09/14(月) 19:38:53.15ID:yztbmGcp
有害なのはおめーらだろ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だと既存の解き方以外の解き方を開発できない
でも世界最高頭脳を量産して並列処理するのはできるな
2026/09/15(火) 09:56:05.47ID:ZmBwAoTe
数学の本質は圧縮
簡単な式に導くのが目的
世の中は複雑すぎ、人類の脳は整理しきれない
それを集合知で圧縮する作業

AIが人類を越えるスペックを持つ時、人類には理解出来ない数学が誕生するかも
100名無しのひみつ
垢版 |
2026/09/15(火) 18:37:57.79ID:AoUqJNHO
>>84
企業 高い報酬祓っているのにその認識は問題がありますね
2026/09/15(火) 20:26:44.72ID:DaFZzNRO
確かにAI使いだしてから問題に正面から深く考えて答えを導き出す事をしなくなったな
もういいオッサンだからいいけど若い頃から使ってたら思考力が落ちていたかもなと思う
102名無しのひみつ
垢版 |
2026/09/15(火) 21:47:59.45ID:/PalK4/+
>>1
なんで良くないかって

AIは今までの数学者たちのデータの積み重ねから産出してるからであり

今後その数学者たちがデータの積み重ねをするための未解決問題が減るから

結局未来のAIのデータがなくなるから

って聞いたことあるけどこれほんとなん?なんか違うような
103名無しのひみつ
垢版 |
2026/09/15(火) 23:59:36.14ID:fWNE2wq8
他スレ

>平方剰余の相互法則はガウスが初めに証明してからその後いくつも別証明を残している
>それは決して暇つぶしのためではなく、一般化のための糸口を探すために行っていた

>同じ結果でも過程によってその後に繋がるかどうか(≒命題の価値)が変わる良い例

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

宣伝のため首を突込んで、過程すっ飛ばして回答らしきもの?置いていく
104名無しのひみつ
垢版 |
2026/09/16(水) 07:19:25.97ID:1SA6y7m4
>>103
証明が与えられたということは、(体系が矛盾しない限り)反証できないことが分かったわけで、大いに意味があるだろう
2026/09/16(水) 07:57:57.82ID:8O0V3ON3
pcとかスマホとか車とか乗り物とか詳しいことは知らなくても便利な結果を享受している
数学もそれと同じようにAIに解かせて分かったものを使えばいいんだよ
106名無しのひみつ
垢版 |
2026/09/16(水) 08:47:40.30ID:U+yiZjoJ
敗北宣言に≒
2026/09/16(水) 09:33:16.82ID:v/ydtcf/
>>92
浮動小数点だと∞扱いで例外吐かないけどな
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)は、環に似た代数系で、除法が常に可能となる(特に零除算が意味を持つ)ようなものである。
109名無しのひみつ
垢版 |
2026/09/16(水) 11:02:09.68ID:cai66ECe
>>94
数学の次元と物理学の次元は根本的に別の概念
完璧に扱ってるってのも間違い
レスを投稿する


ニューススポーツなんでも実況