世界的数学者テレンス・リー「AIによって我々は無意味な存在になる。だからAIに数学研究させるな」

1 : 2026/10/03(土) 08:16:51.56 ID:xYeW3AOa0

天才数学者さえも自分の食い扶持を奪われそうになったら反AIになる模様

2 : 2026/10/03(土) 08:16:56.97 ID:xYeW3AOa0

天才数学者さえも自分の食い扶持を奪われそうになったら反AIになる模様

https://x.com/itnavi2022/status/2098497942655295515
テレンス・タオ、森重文などを含む25人のフィールズ賞受賞者が「数学におけるAIの深刻なミスアライメント」を警告する共同宣言を公開しました。
mathandai.org

3 : 2026/10/03(土) 08:17:20.95 ID:PY6EB9YW0

魚屋には関係ない

4 : 2026/10/03(土) 08:17:52.45 ID:7M5S+23dd

蒸気機関が出てきた時も、コンピュータが出てきた時も同じ事を言ってた奴等がいるぞ

5 : 2026/10/03(土) 08:19:22.98 ID:xYeW3AOa0

数学の最前線にある最も深い問題の一つであるナビエ・ストークス・ミレニアム賞問題の解決策を共有します。

その証明は、GPT-6 Astraよりもはるかに能力の高いOpenAIの次世代モデルを使用したエージェントのグループによって作成されました。

この問題は、ナビエ・ストークス方程式によってモデル化された滑らかな三次元流体の運動の記述が崩壊するかどうかを問うものです。約90年にわたって未解決のままでした。
https://x.com/OpenAI/status/2097374640582668336

OpenAIが超有名な未解決問題を解決した模様
これにガチ焦りしてるらしい

15 : 2026/10/03(土) 08:30:42.54 ID:2MH7ASqD0

>>5
これが本当なのか証明する必要があるから、人間の数学者は必要だな

7 : 2026/10/03(土) 08:21:03.27 ID:rYs+yhcp0

数学者達は何世紀にも渡って真理を解き明かして結果何人もの職業を滅ぼしてきたんだぞ？

8 : 2026/10/03(土) 08:22:18.58 ID:CvUauBBi0

リーマン予想もついに解かれるのか

9 : 2026/10/03(土) 08:22:38.14 ID:blhCv9Nb0

数学も行き着くとこ言うほど数学かよってなるのにやっぱAI入ってくるんか

10 : 2026/10/03(土) 08:24:10.05 ID:ZpEGpR7s0

たしかに一番いらん連中だよなこいつら
AIより賢い数学者なんか出てくるわけないし

11 : 2026/10/03(土) 08:25:34.21 ID:rYs+yhcp0

そのAIの結果が正しいか検証する人間は必要だし
AIに学習させる人間も必要だから数学者は形を変えて生き残るぞ

13 : 2026/10/03(土) 08:28:19.63 ID:ZpEGpR7s0

>>11
それもAIにやらせりゃいいじゃん
人間がやるより正確だぞ

16 : 2026/10/03(土) 08:32:31.83 ID:xYeW3AOa0

>>11
その検証もAIエージェントがやってくれる模様😰

19 : 2026/10/03(土) 08:36:22.84 ID:S+yUVBop0

>>16
そのAIエージェントが確かか調べるAI←さらにそのAIが確かか調べる…と無限に続かない？

21 : 2026/10/03(土) 08:38:01.00 ID:rYs+yhcp0

>>19
人間さんも１つの研究結果が正しいか幾数人で追証実験するしまぁ

29 : 2026/10/03(土) 08:53:32.76 ID:ZpEGpR7s0

>>19
人間も同じやんそんなの
だからどっかで一番賢い奴を信用しようってなる
それがAIってワケ

20 : 2026/10/03(土) 08:36:52.03 ID:KJBVG3OI0

>>16
確実性がないしAIは責任を取らないからそういうの人間から置き換わらない

23 : 2026/10/03(土) 08:38:53.73 ID:xYeW3AOa0

>>19
>>20
今はLeanって証明支援システムがあるからそれで証明の正しさは分かるんや😰
数学者も普通に使ってる

26 : 2026/10/03(土) 08:40:18.25 ID:S+yUVBop0

>>23
なんやじゃあAIでええやんけ
しかし、その証明が正しいかを検証できるアルゴリズムがあるなんて人類すごいなぁ

12 : 2026/10/03(土) 08:28:14.85 ID:Yx2ewPnVd

AIを扱ってそれを応用するのは人間なんだから今まで以上に能力ある人しかできない

14 : 2026/10/03(土) 08:29:33.77 ID:KJBVG3OI0

けっきょく解決間近の難問を計算資源で強引に解決してAIの宣伝に使ってるだけのインチキだとバレてるし
人工知能とかシンギュラなんとかに至ることはなくこのまま便利な文房具の地位から上がらないっぽくみえる

17 : 2026/10/03(土) 08:33:06.59 ID:W/LHZgLS0

食いぶちというよりは楽しみを奪うな的なところやろう

18 : 2026/10/03(土) 08:33:49.83 ID:S64muDsi0

AIのせいでスポーツ選手以外意味なくなりそうだな
お笑いだってネタをAIが考えたほうがおもしろくなりそうだし小説もそう

25 : 2026/10/03(土) 08:40:00.84 ID:jLvGeZLU0

>>18
これからはスポーツの地位はますます上がると思うわ
車が走った方が速いとか言われないし

30 : 2026/10/03(土) 08:55:10.53 ID:ZpEGpR7s0

>>25
地位は上がっても飽きられてるからな
何十年同じルールでやってんだよっていう
AIが新しいスポーツ開発してフィジカルAI同士で試合するとかそういうの流行りそう

22 : 2026/10/03(土) 08:38:37.26 ID:Xf4E8IVh0

【悲報】イッチ渾身のテレンスリーボケ、誰も触れない😭

24 : 2026/10/03(土) 08:39:41.44 ID:jrFonDIp0

もう強烈だもんなあ
そりゃ勝てんわ

27 : 2026/10/03(土) 08:50:03.23 ID:mJ7BXSGSa

元々スパコンに大量の演算させまくってるくせに今さらやんけ

28 : 2026/10/03(土) 08:53:03.47 ID:Tf3zObzm0

望月教授のABC予想もAIによって真偽が分かるんか

33 : 2026/10/03(土) 08:57:26.76 ID:xYeW3AOa0

>>28
望月新一のブログ読んだら分かるけど証明支援システムLeanの台頭にウッキウキやで
「やっとワイの正しさが理解される希望が見えてきた！」と

31 : 2026/10/03(土) 08:55:49.21 ID:d92Gkvmtd

テレンスリーのボケに突っ込むスレじゃないのか

32 : 2026/10/03(土) 08:57:04.62 ID:jrFonDIp0

>>31
なんつうかその係なんて1人でいいからな