- 1 : 2026/09/12(土) 08:46:58.599 ID:NE7PG0U2y
- https://x.com/itnavi2022/status/2098497942655295515
テレンス・タオ、森重文などを含む25人のフィールズ賞受賞者が「数学におけるAIの深刻なミスアライメント」を警告する共同宣言を公開しました。
mathandai.org【訳】「数学におけるAIの深刻なミスアラインメント」
ここ数か月で、大規模言語モデル(LLM)の数学的能力は劇的に向上し、数学の多くの分野における重要な未解決問題を解けるところまで到達している。
しかし、AI企業が数学問題の解決をベンチマークとして推し進めていることは、数学という科学そのもの、そして数学コミュニティにとって有害である。
AI企業の目標と数学コミュニティの目標の間には、深刻なミスアラインメント(目標のずれ)が存在する。
私たちはこれを、他の科学分野や創造的職業、さらには社会全体にも影響を及ぼしている、より広範なアラインメント問題の一部だと考えている。 - 2 : 2026/09/12(土) 08:47:05.510 ID:NE7PG0U2y
- 研究数学とは、形、数、自然現象の基本的な構造を理解しようとする営みである。
何世代にもわたり数学は、数学的世界を理解するための高度なアイデア、方法、抽象概念、その他さまざまな道具からなる膨大な体系を築き上げてきた。
そして現代の科学技術は、こうした数学的道具の上に成り立っている。有名な未解決問題はしばしば、この数学的世界についての理解がどれほど進んだかを測るための道標や灯台として機能してきた。
そうした問題の一つを解決することは、新しい洞察や興味深い方法が生まれた確かな証拠だった。
それらはその後、数学者のコミュニティによって、講演、議論、簡略化といった長く困難な過程を通じて研究されていく。
その過程の最後には、理想的には大学院生、さらには学部生でも学ぶことのできる、教科書の形に整理された成果が残る。
そして数学的アイデアの中には、さらに長い旅を続け、数十年あるいは数世紀を経た後に、社会全体の人々に理解され、利用される道具となるものもある。数学コミュニティは、多くの点で人類の縮図のように機能している。
そこには非常に多様なアプローチを用いる個人が存在しながらも、共通の中核的価値観によって結び付けられている。
私たちの職業における最も貴重な資源は、学生とアイデアであり、私たちはそれらを細心の注意を払って育てている。
それらが十分に可能性を発揮し、やがて数学の世界で自らの生命を持つようになるまで成長させる責任が、私たちにはあると感じている。学生に対して私たちが問題を与えるとき、その中心的な目的は、研究やその他の分野で新たな前進を遂げるために必要な能力を育てることである。
アイデアについても、講演、個人的な議論、慎重に書かれた論文などを通じて広め、それを他の人々が生み出してきた先行するアイデアと結び付けていく。
こうした過程には必然的に時間がかかり、人間同士の交流を基盤としている。 - 3 : 2026/09/12(土) 08:47:26.742 ID:NE7PG0U2y
- ここ数か月、AIが重要な数学問題の解決に成功したことは、数学界の外でも大きく報じられている。
しかし、問題を解くことは、概念的な理解や洞察という本来の目的を達成するための「道具」であり「代理指標」にすぎない。
AIの世界でこのことを忘れてしまえば、その道具がかえって本来の目的を損なう可能性がある。
実際、「真か偽か」という命題を、ますます高速に大量生産することは、新しいアイデアに命を吹き込むどころか、豊かな研究の土壌そのものを破壊しかねない。こうした解答はしばしば、十分な論文執筆、新しい方法やアイデアの切り分け、関連する他者の先行研究への適切な引用を行う時間もないまま、性急に発表される。
すべての創造的な職業と同様に、これは帰属や盗用をめぐる深刻な問題を引き起こす。さらに、AIが生み出したアイデアの発展を担い、それを数学の正統な知識体系の中に組み込んでいく意思を持った数学者がいなければ、それらのアイデアが真に生命を得ることはない。
そして、数学者から数学者へと知識を受け渡していく、極めて重要な人間による継承の連鎖も失われてしまうだろう。私たちはいま、知的労働全般に対する脅威を目の当たりにしている。
それは、AIを使用した結果と、その仕事が本来目指していた目的との間に生じるミスアラインメントである。多くの分野や活動において、何年にもわたる訓練は、単に最終的な答えや成果物を生み出すためだけに行われてきたわけではない。
その過程を通じて理解を深め、新しい問いやアイデアを生み出す能力を育てることにも意味があった。 - 4 : 2026/09/12(土) 08:47:50.382 ID:NE7PG0U2y
- しかしAIシステムは、これまで人間が蓄積してきた膨大な成果を土台として、そのような作業の「結果」を直接生み出す能力をますます高めている。
そのため、結果を生み出すことと、本来その作業によって達成しようとしていた目的との間の整合性が失われつつある。現在、数学コミュニティが直面している問題は、他の科学分野や創造的職業が直面している問題とよく似ている。
そしてそれは、人類全体が将来直面する可能性のある問題を示している。
すなわち、AIによって仕事のやり方が変わっていく中で、そもそもその仕事が何を達成するために存在していたのかを、どうすれば見失わずに済むのか、という問題である。AIには、本物の数学研究と数学的理解を強化し、加速させる大きな可能性がある。
数学という専門分野も、こうした変化にさまざまな形で適応していく必要があるだろう。しかし、最終的にこれらの変化が数学に利益をもたらすのか、それとも破壊的な影響を与えるのかは、この新しい技術を管理する立場にある人間たちの判断によって、大きく左右される。
- 5 : 2026/09/12(土) 08:47:53.283 ID:VccA1l8Q6
- そこのミスアライメントを具体的に言うべきでは
- 6 : 2026/09/12(土) 08:48:06.734 ID:NE7PG0U2y
- これらの問題には、緊急に取り組まなければならない。
数学コミュニティの中で、これらの技術を開発する企業の中で、そしてさらに広く、多くの知的労働において同様の問題に直面することになる社会全体で、議論し対処する必要がある。Artur Avila(2014年フィールズ賞)
Manjul Bhargava(2014年フィールズ賞)
Caucher Birkar(2018年フィールズ賞)
Pierre Deligne(1978年フィールズ賞)
Yu Deng(2026年フィールズ賞)
Simon Donaldson(1986年フィールズ賞)
Hugo Duminil-Copin(2022年フィールズ賞)
Alessio Figalli(2018年フィールズ賞)
Martin Hairer(2014年フィールズ賞)
June Huh(2022年フィールズ賞)
Maxim Kontsevich(1998年フィールズ賞)
Elon Lindenstrauss(2010年フィールズ賞)
Pierre-Louis Lions(1994年フィールズ賞)
James Maynard(2022年フィールズ賞)
Curt McMullen(1998年フィールズ賞)
Shigefumi Mori(1990年フィールズ賞)
Ngô Bảo Châu(2010年フィールズ賞)
Andrei Okounkov(2006年フィールズ賞)
Peter Scholze(2018年フィールズ賞)
Stanislav Smirnov(2010年フィールズ賞)
Terence Tao(2006年フィールズ賞)
Maryna Viazovska(2022年フィールズ賞)
Cédric Villani(2010年フィールズ賞)
Wendelin Werner(2006年フィールズ賞)
Efim Zelmanov(1994年フィールズ賞) - 7 : 2026/09/12(土) 08:48:51.323 ID:LlOme/hXg
- 長い
AIに要約させろ - 8 : 2026/09/12(土) 08:49:17.131 ID:xB5n.nMAY
- 数学なんてガチでAIでええやん
- 9 : 2026/09/12(土) 08:49:18.346 ID:Ysk8uPSIA
- タオがそう言うならワイも賛同するで
- 10 : 2026/09/12(土) 08:49:18.386 ID:Xww8rvXQY
- ライバル会社の研究者を共著に書くなとか科学を何だと思ってんねんって話やな
- 11 : 2026/09/12(土) 08:49:36.628 ID:E12mPSM4L
- 答えだけ渡されても今度は何故そうなるのかを解く必要があるんだよな
それでいて本当に正しいかも定かじゃない上に実世界であり得るのかも不明というのが余計問題を難しくしてる - 13 : 2026/09/12(土) 08:50:17.354 ID:9.IA2e5W6
- ごちゃごちゃ書いてるけどワイらの食い扶持なくなるやんけと言いたいだけ?
- 14 : 2026/09/12(土) 08:50:19.452 ID:H340O5A7C
- チャッピーこれを三行にして
- 15 : 2026/09/12(土) 08:50:22.553 ID:Lr/4KLph4
- 数学者の仕事もなくなっちゃうねえ
- 16 : 2026/09/12(土) 08:50:27.969 ID:oZB4cDD2L
- 食い扶持潰すのやめてクレメンス😓
- 17 : 2026/09/12(土) 08:50:28.513 ID:GrUgC9HH1
- ギュられた後でも優秀な新人が育つ土壌って難しいよな
どうやって保護するのか - 18 : 2026/09/12(土) 08:50:56.081 ID:/nO/dIgSE
- まあ数学って人間の中で閉じた営みやし、気持ちは分かる
- 19 : 2026/09/12(土) 08:51:00.128 ID:8LM21Q.lO
- AIが示した答えの正しさを誰が保証するのかってのがあるのは分かる
- 20 : 2026/09/12(土) 08:51:15.929 ID:AlzUrbC8C
- エッジャーかこんな長文読めるわけないけろ
- 21 : 2026/09/12(土) 08:51:20.132 ID:UHg5gZqrY
- AIが生み出したアイデアの発展を担い、それを数学の正統な知識体系の中に組み込んでいく意思を持った数学者とやらもAIでええやろ
- 22 : 2026/09/12(土) 08:51:21.321 ID:bjCwjwKfL
- ヒトカス「人生の意味とは?」
AI「42です」
ヒトカス「?」 - 23 : 2026/09/12(土) 08:51:44.116 ID:wQK/oDmR6
- ヒトカスさぁ…😅
- 24 : 2026/09/12(土) 08:51:46.012 ID:y6KbqhJcd
- 数学の世界って人間にしか出せない味みたいのってあるのかな
- 34 : 2026/09/12(土) 08:52:43.452 ID:/nO/dIgSE
- >>24
そんなもん全てが味やろ
科学と違って人の脳をそのまま言語化してるようなもんなんやから - 25 : 2026/09/12(土) 08:51:50.984 ID:IhoIl9jRQ
- AIに取って代わられそうだから必死やねえ
AIが解いた証明の査読係に落ちぶれそうやもんね - 26 : 2026/09/12(土) 08:51:52.110 ID:6cIMBFcOM
- AIの出した答えを検証するだけの作業になったらマジで数学者やるやつおらんくなるやろな
つまんねえもん - 35 : 2026/09/12(土) 08:52:44.770 ID:pI2xrJTQV
- >>26
どうせ検証もAIエージェントがやるやろ - 27 : 2026/09/12(土) 08:51:54.063 ID:cyPghHOPc
- へぇ、こいつら解ければOKなのかと思ってたら、絵描きみたいな面倒くさい人種だったんやな
- 28 : 2026/09/12(土) 08:52:00.021 ID:stT8P4p50
- 何呑気なこといっとんねん
学問自体が終わりなんやで - 29 : 2026/09/12(土) 08:52:00.752 ID:kRiR75H2D
- 毎日毎日同じような日々に飽きたんや
AI競争は絶対止めるな - 30 : 2026/09/12(土) 08:52:03.949 ID:.9enoicl1
- どうやってこいつら集めたんやろ
フィールズ賞取ったやつしか入れないライングループあんのか? - 90 : 2026/09/12(土) 09:00:24.235 ID:dT5Sau0/v
- >>30
そらフィールズ賞取ったあとは交通安全協会みたいなのがシュバって来るやろ - 31 : 2026/09/12(土) 08:52:10.278 ID:LwWEYK2RV
- ンゴ・バオ・チャウおるやん
- 32 : 2026/09/12(土) 08:52:18.185 ID:ww6oV/9wE
- つまり「効いてて草」でええんか?
- 33 : 2026/09/12(土) 08:52:32.050 ID:Xww8rvXQY
- エッヂ民より代替可能性低い人らなのにエッヂ民が仕事奪われるからだろとか言ってるのは笑える
- 47 : 2026/09/12(土) 08:54:57.864 ID:UHg5gZqrY
- >>33
いや数学とかAIの専門分野まであるやろ
花の気持ちとか考えんでええんやで - 36 : 2026/09/12(土) 08:53:27.652 ID:6yHLpyDAZ
- 数学文化云々に関してはコーダーに声を上げましたか?絵描きに声を上げましたか?って話やし支援するつもり全くないけど
> 関連する他者の先行研究への適切な引用を行う時間もないまま、性急に発表される。
> すべての創造的な職業と同様に、これは帰属や盗用をめぐる深刻な問題を引き起こす。
この2文に関しては強く支持してもええ - 37 : 2026/09/12(土) 08:53:32.548 ID:1rdzpZr.3
- 絵描きは下手でも金稼げてる
数学も大丈夫や - 38 : 2026/09/12(土) 08:53:34.581 ID:VhT0/L5TZ
- 言ってること頭の悪い反AI絵師と同じでワロタ
- 40 : 2026/09/12(土) 08:53:43.568 ID:ps/fp8kfg
- >すべての創造的な職業と同様に、これは帰属や盗用をめぐる深刻な問題を引き起こす。
AIはパクリだ!って言ってるイラストレーターと同じやんけ
- 41 : 2026/09/12(土) 08:53:51.048 ID:n2h7dcTn9
- でも数学者も普通に 研究でAI使ってるよね
- 42 : 2026/09/12(土) 08:54:05.951 ID:6/QUc77eW
- AI登場して久しいけど何か有名な難問解いたって聞かないな
- 48 : 2026/09/12(土) 08:55:03.211 ID:6cIMBFcOM
- >>42
今まさにそれについて話題になってるんやけど - 43 : 2026/09/12(土) 08:54:13.406 ID:KvE6/WhDR
- 人と人との温もりがたんねーんだよなってこと?
- 44 : 2026/09/12(土) 08:54:23.816 ID:GoJzn6AN6
- この人らが完全に仕事奪われるころには一般人はもはや死に絶えてるよ
- 45 : 2026/09/12(土) 08:54:30.074 ID:yoRAEehMZ
- AIなんて数学が生み出した叡智だろ
- 46 : 2026/09/12(土) 08:54:43.954 ID:GrUgC9HH1
- 遠い過去と遠い未来を繋げるためにそのためにいるんだと思ってたらいらない存在になりました
悲しいよね - 49 : 2026/09/12(土) 08:55:25.598 ID:YPfMSEtyB
- でもさ
一番社会インフラに必要な汗をかいて場合によっては血も流れる土木に人を回せるわけだよな
そこの人らは苦しい思いして仕事してるわけだし有用じゃん
必要じゃなくなる職業ならそれでいいのでは?
みんなで苦しみを分かち合おう - 50 : 2026/09/12(土) 08:55:25.697 ID:dTAHnLN2j
- ワイらの既得権益犯すなってことや
- 51 : 2026/09/12(土) 08:55:26.555 ID:0W/BhqVRc
- 賢い僕たちを見て~ってこと?
- 52 : 2026/09/12(土) 08:55:36.005 ID:WR338qjWC
- 今は他社を蹴落とそうといかに自社のAIが素晴らしいのかのPRで色々犠牲になってるから仕方ない
今とは言ったが長いこと続くのだろうが - 53 : 2026/09/12(土) 08:55:41.090 ID:8LRaYwXPI
- サンキョー、な
- 55 : 2026/09/12(土) 08:56:02.120 ID:y/KDZFjzO
- いやAIも性能の指標で未解決問題使ってるだけやん、そのうち誰よりもわかりやすい解説すら残してくるやろ
- 56 : 2026/09/12(土) 08:56:07.132 ID:PjIS5CqH0
- 問題を解くことが重要じゃなくて
問題を通してさらに深い問題を発見することが重要
AIが問題を解いてもそれに対して考察する人がいないと新たな発見がなくなるという主張 - 80 : 2026/09/12(土) 08:59:02.086 ID:/nO/dIgSE
- >>56
なかなか芯を突いた主張やな
AIが学問を発展させてもそれを理解できるコミュニティが存在しなければ学問としての要件を満たしてないんよな - 98 : 2026/09/12(土) 09:01:28.627 ID:3e.Bl1vLQ
- >>56
その考察して深い問題を発見することもAIがやってくれますけど - 57 : 2026/09/12(土) 08:56:11.724 ID:Im5r6S/bR
- 多分この先AIが生み出す論文の数に人間の査読が追い付かなくなる
科学が神学に内包される時も近い - 58 : 2026/09/12(土) 08:56:21.743 ID:6He3LwXQ6
- 考える過程が重要ってのは分かる
- 59 : 2026/09/12(土) 08:56:27.134 ID:X3ig80Gct
- こういうのって電卓出たときも「あのさぁ…『暗算』にしか出せない『あたたかみ』がないよね😅」とか言われてたんかな
- 69 : 2026/09/12(土) 08:57:48.681 ID:ps/fp8kfg
- >>59
筆算を作り出したワイらにリスペクトが足りないよね😅って言ってたやろな - 61 : 2026/09/12(土) 08:56:32.760 ID:E12mPSM4L
- とりあえず薬をどうにかしてよAIで真っ先にやって欲しいことや
- 62 : 2026/09/12(土) 08:56:33.980 ID:bjCwjwKfL
- 概ね合ってる
これまでは答えを出すことに大きな負荷があったけどAIで答えを出す作業がコモディティ化してるんよ
検証は依然として必要とは言え
数学者はアラインメントの問題にしてるけどワイら一般人は問いを出す作業に別れを告げて進まんといかんで - 63 : 2026/09/12(土) 08:56:47.275 ID:kDOgaHW/S
- 結果やなくて人間には思考という過程が大事って話やろ?
それは共存できるんやないか? - 64 : 2026/09/12(土) 08:56:56.761 ID:eg31pwfPQ
- そのうちAIの出した証明を理解できる人がいなくなるんだろうな
- 79 : 2026/09/12(土) 08:58:45.485 ID:y6KbqhJcd
- >>64
astraからかなりブラックボックス化したって言われてるな - 66 : 2026/09/12(土) 08:57:21.173 ID:1e1WD68AY
- こいつらはAIがイラストレーターの仕事奪ったときになにも言わなかったよね?
自業自得だよ - 67 : 2026/09/12(土) 08:57:29.262 ID:ifEUE0FyP
- AIによる数学問題解決は、センズリでイクまでの過程をすっ飛ばして射精だけしてるようなもんやねん
本当に重要なのはセンズリの過程で生じる快感と、センズリ活動周縁の人間の営為やねん - 68 : 2026/09/12(土) 08:57:29.683 ID:5q82BscDE
- べつにAI無視して自分の研究続ければええやん
人間のほうが優秀なら数学者としての仕事はなくならんやろ? - 71 : 2026/09/12(土) 08:57:58.120 ID:.80W.dCcH
- 学問である以上終焉は避けられられんやろ
競技として残れるか否かや - 72 : 2026/09/12(土) 08:58:03.062 ID:RxLZW5uRg
- 子供同士で楽しく遊んでるのに大人が来て「これこうやで」って言いにくるようなもんか?
- 74 : 2026/09/12(土) 08:58:07.848 ID:bjCwjwKfL
- フェルマーの最終定理もプログラムで解決する道筋できちゃったしな先週
- 75 : 2026/09/12(土) 08:58:13.980 ID:M8V4SSBOO
- 最終的に人間が誰も理解できない状態になったツールに命預けられるかって話になるんかな
SFチックやね - 76 : 2026/09/12(土) 08:58:14.721 ID:/0LNu6.Ea
- 仕事奪われそうだから必死で草
- 77 : 2026/09/12(土) 08:58:32.573 ID:kXGe.aNKC
- 温かみがないよね
- 78 : 2026/09/12(土) 08:58:35.902 ID:f2YcQtoD0
- 最終的に残るのは安価に雇える肉体労働だけで創作だとか頭脳労働はAIのものになるんやで
- 81 : 2026/09/12(土) 08:59:04.918 ID:g5aUSr2HG
- どんどんAI使って世の中を良くしてこうよ
- 82 : 2026/09/12(土) 08:59:14.655 ID:ps/fp8kfg
- なんか数学者って理性の塊みたいな存在やと思ってたけどなんかガッカリやな
結局既得権益脅かされそうになったら徒党を組んで反発かよ - 87 : 2026/09/12(土) 08:59:55.950 ID:bjCwjwKfL
- >>82
反発の要素はなくて問題提起やぞ - 94 : 2026/09/12(土) 09:00:47.069 ID:ps/fp8kfg
- >>87
様子伺ってるカマホモしぐさ - 83 : 2026/09/12(土) 08:59:21.365 ID:cZ4YBc1IK
- AIによる証明を発表する上で当然その過程も載せてるんちゃうの?
教育に関しちゃ先達の研究から学ぶのと同じようにAIのそれを分析して学べばええやん - 84 : 2026/09/12(土) 08:59:22.414 ID:Xww8rvXQY
- こいつらがOPENAI入りたいですって言ったら三顧の礼で迎え入れられるんやから
少し考えれば仕事あるなしの問題じゃないってわかるやろうに - 88 : 2026/09/12(土) 09:00:06.522 ID:RxLZW5uRg
- >>84
入れられないと思うけどなんかそういう実績あるんか? - 99 : 2026/09/12(土) 09:01:33.688 ID:Xww8rvXQY
- >>88
OPENAIに大量の科学者入社してるの知らんの?
それこそフィールズ賞のツィマーマンはOPENAI行ったぞ - 85 : 2026/09/12(土) 08:59:26.196 ID:6He3LwXQ6
- ゆたぼんが電卓使えよって言ってたときと同じ
- 86 : 2026/09/12(土) 08:59:29.642 ID:/hIqKUSuG
- なんかイラストレーターとか数学者とかがここ数年で発狂しだして本当にAIに仕事奪わる時代がそろそろ来るんやなって思うわ
- 89 : 2026/09/12(土) 09:00:14.182 ID:.8C/VUBKp
- AI時代に勉強してるやつ全員バカですw
- 91 : 2026/09/12(土) 09:00:28.419 ID:8UQBF9ybz
- 論理性の塊みたいな数学者の人間が感情爆発のお気持ち表明してて草
- 92 : 2026/09/12(土) 09:00:35.933 ID:zuFLW0KKV
- ロストテクノロジーになりかねへんしな
- 93 : 2026/09/12(土) 09:00:37.238 ID:kDOgaHW/S
- まあ「それが正しいか」って何度も検証していくことで理解が深まるのに
誰も分かんない状態で「正解」が出続けるのは怖いよな - 96 : 2026/09/12(土) 09:01:17.534 ID:PXIir3Ysw
- ナビエ-ストークス-openai方程式って名前になったら失神しそう
- 97 : 2026/09/12(土) 09:01:23.487 ID:8UQBF9ybz
- どんだけ理数系に長けた数学者でも人工知能に負けてムキー!ってなっちゃうんだよね🤪
嫌儲
【大本営発表】ヤフーニュースさん、アンコンされてしまう



コメント