- 1 : 2026/10/07(水) 11:47:45.567 ID:ioqsuw33K
- 数学の722本の論文を公開。100以上のlong-standing open problemを解決とのこと。まさかの私が取り組んでいた generalized Mukai conjecture も解けたとか言ってるんですけど。
それどころか log abundance と Fujita 予想も解いたとか言ってる…。LeBrun–Salamon conjecture も。
https://x.com/kiwamu_watanabe/status/2107618144089149764?s=46
- 2 : 2026/10/07(水) 11:48:05.075 ID:ioqsuw33K
- We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
https://x.com/openai/status/2107596713791767021?s=46
- 3 : 2026/10/07(水) 11:48:25.967 ID:ioqsuw33K
- とんでもねえ話だなこれ
- 4 : 2026/10/07(水) 11:48:38.227 ID:vHiP8fAdO
- 半分シンギュラリティだろ
- 5 : 2026/10/07(水) 11:48:39.691 ID:ioqsuw33K
- OpenAIが公開した数学論文群、代数幾何だけ見てもかなりすごい⬇️あっているかは分からないけど。
・一般化向井予想
・Fujitaの自由性予想
・Nagata予想
・log abundance
・4次元MMPの停止
・Campana–Peternell予想（6次元）
・LeBrun–Salamon予想
・CMアーベル多様体のHodge予想
などの解決を主張している。
- 52 : 2026/10/07(水) 11:55:04.726 ID:AtjLpQS/7
- >>5
もしかしてエッヂ民ってこれ見てピンとくる層がメインなんか？
バカはワイだけやったんか
- 66 : 2026/10/07(水) 11:55:53.308 ID:e/Xj3EA.j
- >>52
こういう数学の解法が解けることによって文明1個進むレベルやから
- 76 : 2026/10/07(水) 11:56:26.385 ID:Kjce54WzE
- >>5
わからんから野球で例えてくれ
- 104 : 2026/10/07(水) 11:57:55.476 ID:PK.TBxO9F
- >>5
一番下はワイでも聞いたことあるわ
- 121 : 2026/10/07(水) 11:59:22.782 ID:2mTkZq1fR
- >>5
ここに名を連ねてる向井さん何者や
- 6 : 2026/10/07(水) 11:48:56.200 ID:nsAKqLHSl
- 数学ほんまオワコンやな
- 8 : 2026/10/07(水) 11:49:25.500 ID:Y0z2/kStx
- >>6
数学は始まりだろ
終わるのは人間
- 32 : 2026/10/07(水) 11:53:01.411 ID:pNKCZUJO6
- >>6
むしろゴールドラッシュ大フィーバータイムや
- 7 : 2026/10/07(水) 11:49:16.198 ID:ioqsuw33K
- アバンダンス予想解いたのやばすぎる
- 9 : 2026/10/07(水) 11:49:27.079 ID:2hz8bbhFz
- 普通にありがたいよな
また便利な世の中になるぞ
- 10 : 2026/10/07(水) 11:49:38.843 ID:Qe1o4ZFcC
- もう数学者はほぼいらんな
検証するために必要なだけの存在
AIのせいでただの数字いじくり回すチーになってもうた
- 12 : 2026/10/07(水) 11:50:01.238 ID:86.0ulM9D
- 解決したらなんかいいことあるの？これ
- 13 : 2026/10/07(水) 11:50:10.458 ID:Mlq5Lm0D1
- 査読が大変なんちゃうこれ
世界の数学者がAIの下請けみたいになるのよくないやろ
- 14 : 2026/10/07(水) 11:50:29.474 ID:ioqsuw33K
- >>13
ジャーナルシステム崩壊するよなこれ
- 49 : 2026/10/07(水) 11:54:45.697 ID:Qe1o4ZFcC
- >>13
むしろ進んでそうなるべきやろ…
なんであかんの？数学者より生産的なんだからAIに委ねろよ
- 53 : 2026/10/07(水) 11:55:10.764 ID:GO/GGCkD4
- >>13
棋士みたいになるんちゃう
AIが上と認めたうえで人もがんばるという
- 59 : 2026/10/07(水) 11:55:34.941 ID:sKkjjGwJ6
- >>13
もう他のAIにやらせろ
今回はClaudeや
- 92 : 2026/10/07(水) 11:57:28.875 ID:NNr1payY6
- >>13
むしろ今後はこれくらいしか数学者の価値なくなるんちゃうの…
嫌な世界やなぁ
- 97 : 2026/10/07(水) 11:57:40.966 ID:c9dE3Fy7C
- >>13
査読もAIがやればええやん
- 119 : 2026/10/07(水) 11:59:10.760 ID:s/ZElQJor
- >>13
それで仕事増えるやん
- 285 : 2026/10/07(水) 12:10:13.931 ID:X2g9USNbr
- >>13
そう
それで言ったらもう世界中の特許庁がパンク寸前
- 15 : 2026/10/07(水) 11:50:43.751 ID:DeeMaSyd6
- 解けたからなんやねん何かの役に立つんか
- 18 : 2026/10/07(水) 11:51:05.179 ID:ioqsuw33K
- >>15
こういうやつは工学やれよ
- 28 : 2026/10/07(水) 11:52:34.679 ID:86.0ulM9D
- >>18
実際実用性のないものをAIにやらせる意味ないやろ
AIは工学だけやれよ
- 16 : 2026/10/07(水) 11:50:44.351 ID:IJjYjV0cO
- おわりのはじまり
- 17 : 2026/10/07(水) 11:50:53.089 ID:4mN9E/vZR
- こういうのってスパコンでも無理やったのにAIではクリアしたってことなんか？
- 19 : 2026/10/07(水) 11:51:15.126 ID:6N.lybFyV
- このルートでは、文明が飛躍的に進化する。
空想は現実となり、あらゆる技術が大きなステップを踏み出すだろう。
- 21 : 2026/10/07(水) 11:51:34.654 ID:IH57iLZ54
- それぞれどんな予想なんや？
- 23 : 2026/10/07(水) 11:52:09.193 ID:svrDWkPKH
- 数学者は検証がんばれ
- 24 : 2026/10/07(水) 11:52:21.933 ID:C9c7gZ0R2
- リーマン予想はまだか？
- 64 : 2026/10/07(水) 11:55:46.558 ID:Y0z2/kStx
- >>24
今回の論文群には準リーマン予想も含まれてる
- 25 : 2026/10/07(水) 11:52:30.936 ID:hJc2bPRX2
- 査読もAIがやらないとね
- 26 : 2026/10/07(水) 11:52:31.822 ID:ZG.XZrmqh
- どうやって検証するんや？人間が無理やったのに
- 27 : 2026/10/07(水) 11:52:34.389 ID:QKVzjjMcg
- 早く実験も自動化して産業、工学まで行ってくれよい😲
- 29 : 2026/10/07(水) 11:52:35.760 ID:3dvjlWmap
- こういうのって本当にあってるか確かめるにはどうするんや
- 33 : 2026/10/07(水) 11:53:10.074 ID:7KOrZgHio
- >>29
人間がやるしかないんや
だから人間も頑張らないといけないんや
- 30 : 2026/10/07(水) 11:52:40.271 ID:usfKZqMnG
- また「人間の学びがなくなる」来るか？w
- 31 : 2026/10/07(水) 11:53:00.375 ID:HfxpR8iEC
- あと10年ぐらい先の時代に生まれたかったわ
- 34 : 2026/10/07(水) 11:53:11.710 ID:za5BB1DSO
- 査読前の事前公開サイトですら数絞ってるらしいね
- 35 : 2026/10/07(水) 11:53:16.231 ID:sKkjjGwJ6
- 腕生やしたり歯を生やす技術ガチってくれんか？
- 36 : 2026/10/07(水) 11:53:25.207 ID:h5s6jj5yn
- 数学者みたいなチー牛がチヤホヤされてたのがおかしいからな
- 37 : 2026/10/07(水) 11:53:27.602 ID:e/Xj3EA.j
- 世界中の数学者たちがやめろって言ってる意見書出したけどこういうのが普通になると数学を解く過程がないがしろにされてきて教育に良くないって言われてるんよな
- 70 : 2026/10/07(水) 11:56:05.793 ID:Qe1o4ZFcC
- >>37
それこそ数学者の言い訳やん
証明された問題を解き直すモチベが上がらないのヤーヤーなの！ってことやろ？
別にAIに解かれてもそれを再証明して丁寧に過程を追いかければいいんじゃないですかね
- 100 : 2026/10/07(水) 11:57:48.657 ID:hjqTKijbL
- >>70
今有名な数学者は最悪そういう仕事でいくらでも食っていけるんだからそういう問題でもないやろ
- 113 : 2026/10/07(水) 11:58:50.188 ID:Qe1o4ZFcC
- >>100
じゃあ数学を解く過程がないがしろになったりはしないやん
AIが証明しても自分たちはこんなことができるって世間を啓蒙していけよ
数学やるのが仕事なんだからガチャガチャ抜かさんでええ
- 158 : 2026/10/07(水) 12:02:28.998 ID:hjqTKijbL
- >>113
学問そのものの先細りを心配してるのがわからんのか
仕事仕事って馬鹿の一つ覚えみたいに言っとるけど
- 170 : 2026/10/07(水) 12:03:19.036 ID:Qe1o4ZFcC
- >>158
先細りにはならんやろ
無駄な万能感やプライドがあるやつが消えるだけで
粛々とAI様に服従できる数学者は生き残るよ
- 214 : 2026/10/07(水) 12:05:51.176 ID:hjqTKijbL
- >>170
人口減少で廃れないもんなんてないやろ
- 241 : 2026/10/07(水) 12:07:34.665 ID:Qe1o4ZFcC
- >>214
人口減少で分野が衰退するのは同意やけど
それAIの発達と関係ないし論点ずれたからここで話終わりな
- 274 : 2026/10/07(水) 12:09:30.282 ID:hjqTKijbL
- >>241
どこが論点ズレてんねん
アホで草
- 115 : 2026/10/07(水) 11:58:53.287 ID:e/Xj3EA.j
- >>70
今の世間一般に存在する数学のほとんどはお前みたいな凡人にも分かりやすいように長い時間かけてパット見じゃ理解できない数式すら最適化されてできてるもんなんやで
AIはその長い時間を掛けないといけない過程をすっ飛ばしてるだけやから知識格差も広がっていくだけって話な
- 136 : 2026/10/07(水) 12:00:21.161 ID:Qe1o4ZFcC
- >>115
そのギャップを埋める仕事に従事するのが数学者やろ？
よかったな、AI様のお膝元で働かせてもらえて
- 38 : 2026/10/07(水) 11:53:32.885 ID:ZG.XZrmqh
- ぶっちゃけ査読するまでもなく多分正しいんだろうなって思うよね😳
- 55 : 2026/10/07(水) 11:55:17.548 ID:Rdq.QktVl
- >>38
アホすぎる
- 72 : 2026/10/07(水) 11:56:09.120 ID:ZG.XZrmqh
- >>55
でも実際そうなりつつあるやん世の中
お前よりAIのが正しいし
- 83 : 2026/10/07(水) 11:56:52.428 ID:Rdq.QktVl
- >>72
秒で袋叩きになってるあたりお前より俺のほうが正しそうやね
- 103 : 2026/10/07(水) 11:57:53.244 ID:ZG.XZrmqh
- >>83
ワイ叩いてるやつよりAIのが賢いのは事実やん
まだ上回れると思ってるほうがお笑いなんやけど
- 111 : 2026/10/07(水) 11:58:34.170 ID:Rdq.QktVl
- >>103
誰も上回るのはなししてなくない？
- 124 : 2026/10/07(水) 11:59:30.215 ID:ZG.XZrmqh
- >>111
ワイはしてるんやけど
お前が勝手に論点すり替えてるだけだが
- 62 : 2026/10/07(水) 11:55:44.880 ID:9.GyIDHWW
- >>38
こういう思考になるから数学者たちがAIで証明すんのやめろって言ってるんだよなあ
- 82 : 2026/10/07(水) 11:56:50.420 ID:VqOpiHMSJ
- >>62
ハルシネーション見せられまくってるのにな
使ってなさそう
- 110 : 2026/10/07(水) 11:58:29.678 ID:ZG.XZrmqh
- >>82
お前がゴミみたいなAI使ってるからそう見えるだけだろ
- 118 : 2026/10/07(水) 11:59:07.874 ID:VqOpiHMSJ
- >>110
うわすげー一度も間違った情報出されたこと無いんや
- 134 : 2026/10/07(水) 12:00:12.900 ID:ZG.XZrmqh
- >>118
別に間違った指摘することはあるけど遥かに人間に聞くより正しい事言うのは事実やん今のAI
なんか上回ってると思い込んでんのほんまお笑いなんやけど
- 140 : 2026/10/07(水) 12:00:37.195 ID:Tlk.UtSmK
- >>134
どわーｗ
- 208 : 2026/10/07(水) 12:05:40.066 ID:wuERRQN5s
- >>134
うおw
- 69 : 2026/10/07(水) 11:56:03.742 ID:ZF6BW/SsX
- >>38
ちょっと専門的な質問しただけでも嘘つくのに信用できるわけないやろ
- 85 : 2026/10/07(水) 11:57:00.785 ID:dAS39pOnk
- >>69
その指摘はおかしいだろ
「正解してるだろうけどそれを鵜呑みにするのは意味がない」←わかる
「信用できるわけがない」←これはわからん
- 159 : 2026/10/07(水) 12:02:29.755 ID:ZF6BW/SsX
- >>85
？
＞「正解してるだろうけど
ここがおかしくね？なんでそんなに信用してんの？
- 39 : 2026/10/07(水) 11:53:33.150 ID:ioqsuw33K
- こういう机上で全部完結する学問は全部オワコンやな
- 40 : 2026/10/07(水) 11:53:52.934 ID:9Bf2cMgzV
- 数学者の仕事なくなるどころか大忙しやな
- 41 : 2026/10/07(水) 11:53:57.915 ID:foQIMiPFH
- 激ムズ予想解いて解決するものってあるの？
- 42 : 2026/10/07(水) 11:54:04.205 ID:4ntMp2IFb
- 数学者ってたった一つの数式の証明だけに人生捧げてるヤバいヤツもいるのに、aiにポンと解かれたらジサツする人もいそう
- 43 : 2026/10/07(水) 11:54:07.692 ID:lkxIQ0ud6
- AIで時代変わりすぎやろ
- 44 : 2026/10/07(水) 11:54:12.357 ID:RmEJrAai7
- 人間にそれを正しいか判断できるん？
- 61 : 2026/10/07(水) 11:55:43.608 ID:Tlk.UtSmK
- >>44
Leanで証明すれば前提から証明したいことが導かれていることは機械的に確認できる
まぁバグは突いていないという前提も必要になるけど🥺
- 45 : 2026/10/07(水) 11:54:17.487 ID:laCpouWJH
- これから新時代に突入する
ワクワクがとまらねえよ
- 47 : 2026/10/07(水) 11:54:21.791 ID:YZ/YoNCeH
- 迷惑すぎるやろ
- 48 : 2026/10/07(水) 11:54:41.447 ID:dAS39pOnk
- まあ大体正しいんだろうな
前回のやつは1個間違ってた？らしいけど
lean使ってどう間違ってたのかはわからん
- 50 : 2026/10/07(水) 11:54:52.136 ID:WFmCY8o.1
- もしかしてあらゆる学者という存在駆逐されるん？
- 131 : 2026/10/07(水) 11:59:59.814 ID:JKHIR8Vfq
- >>50
むしろ査読するのにめちゃくちゃ人手要るんちゃうのこれ
- 51 : 2026/10/07(水) 11:54:58.329 ID:6eBtlLayv
- 誰が審査するんだよ
多すぎて審査員かわいそうだろ
審査もAIでやれ
- 54 : 2026/10/07(水) 11:55:17.313 ID:DYzJQ02ND
- 完全にAIの力でやったならともかく
数学者が公開してない研究データを勝手に使ってる疑惑があるのがね
- 56 : 2026/10/07(水) 11:55:19.586 ID:QkCzbKWJD
- AIが解いた問題には人の温かみがないよね？
- 57 : 2026/10/07(水) 11:55:29.346 ID:cpVcH2C78
- リーマン予想が証明されたらインターネットが終わる
- 58 : 2026/10/07(水) 11:55:33.822 ID:xIENuFB2r
- ヘボな数学者が文句を言ってるだけ
そこらへんの絵師と同レベル
- 60 : 2026/10/07(水) 11:55:36.291 ID:nwJc34PRo
- ワイは2000本論文書いたからワイのが上やな
- 63 : 2026/10/07(水) 11:55:45.299 ID:YDn.VrnvV
- 数学者とかただのハッタショの集まりやんけ
そんなもん保護せんでええわ
- 67 : 2026/10/07(水) 11:56:01.518 ID:2e5Ou0qsI
- 数学ってこれ以上やってなんか意味あるの？
儲かる？
- 94 : 2026/10/07(水) 11:57:35.799 ID:nXEgoy/9G
- >>67
宇宙の謎がわかる
- 68 : 2026/10/07(水) 11:56:02.763 ID:xvGoa0myj
- openAIっていつもおぱーいに見えるからやめてほしい
- 71 : 2026/10/07(水) 11:56:06.442 ID:FJq1iRJZK
- 数学者とか無職予備軍やろ
- 73 : 2026/10/07(水) 11:56:19.348 ID:1IgfesKiJ
- 誰が査読すんねん
- 74 : 2026/10/07(水) 11:56:22.459 ID:cUVzbcYZy
- 数学者の仕事なくなるの？
AIに解けない問題を考える事が仕事になるの？
- 75 : 2026/10/07(水) 11:56:22.461 ID:6ob7S/JdG
- 物理、医学、化学の分野もはよ
- 164 : 2026/10/07(水) 12:02:49.862 ID:Y0z2/kStx
- >>75
anthropicは最近割とそっち寄り
わざわざclaude用の生物実験ラボも作ってる
- 182 : 2026/10/07(水) 12:04:08.300 ID:yMjUd5fPY
- >>164
生物兵器作らせるつもりか？
- 217 : 2026/10/07(水) 12:05:54.065 ID:R9RDh7Khy
- >>164
回答拒否でclaudeを独占しとるしな
- 77 : 2026/10/07(水) 11:56:30.202 ID:bYOL4sT.J
- 数学者はもう終わりなのか
それとも査読の為に必要なのか
よう分からんところ
- 99 : 2026/10/07(水) 11:57:47.791 ID:Qe1o4ZFcC
- >>77
査読のために一応必要ではあるやろな
役所の仕事の裁可に人間のハンコが必要なのと同じで
ただ今後はもうAIの手足となって働くのが彼らの仕事や
- 78 : 2026/10/07(水) 11:56:34.500 ID:cbVcir7GD
- 証明支援系で書かせることはできんのかね
- 79 : 2026/10/07(水) 11:56:35.553 ID:YZ/YoNCeH
- 人間側は教育サポートとAIが見つけた知見を応用するためのサポートがメインになるんかな
人類皆工学
- 80 : 2026/10/07(水) 11:56:43.647 ID:2mTkZq1fR
- 学校で教える意味もあるんかな
- 81 : 2026/10/07(水) 11:56:49.208 ID:ioqsuw33K
- これからはフィルードで物理的に採取したり実験する学問が覇権
- 84 : 2026/10/07(水) 11:56:55.458 ID:Xb6biU55D
- シンギュラリティになるかどうかは査読者次第や
- 86 : 2026/10/07(水) 11:57:01.434 ID:8ZODE4571
- 査読させられる数学者も大変やな
- 87 : 2026/10/07(水) 11:57:09.957 ID:foQIMiPFH
- 10年後のガキはほんまに頭使わなくなってそう
シンギュラリティはこうして実現してしまうんやな
- 146 : 2026/10/07(水) 12:01:47.067 ID:T4LUFmI2D
- >>87
今でさえそうやろ学生時代にAIあったら使い倒して課題全部瞬殺して遊んどるわ
- 88 : 2026/10/07(水) 11:57:18.517 ID:zHnpAQ/vv
- 中身ラマヌジャンらしいな
- 89 : 2026/10/07(水) 11:57:23.158 ID:.7kj3WPUt
- これじゃあ数学者がただのチー牛になってまうやん
- 90 : 2026/10/07(水) 11:57:23.602 ID:Tlk.UtSmK
- こんなにAIが発展したのに日本数学界の最終兵器である宇宙際タイヒミュラー理論の正しさは証明されていないらしい
なぜ⋯？
- 91 : 2026/10/07(水) 11:57:27.450 ID:/gW9xxCnP
- 答えが存在しない哲学ほんま覇権やな
- 107 : 2026/10/07(水) 11:58:11.799 ID:ioqsuw33K
- >>91
数学者は哲学に転向すればええな
- 93 : 2026/10/07(水) 11:57:29.816 ID:T.IUPezdy
- 数学者は仕事なくなるどころか大忙しやろ
- 95 : 2026/10/07(水) 11:57:37.072 ID:jOALQrB5s
- 総当たりには強いけど理論構築にはまだ遠いやろ
- 96 : 2026/10/07(水) 11:57:40.183 ID:GF9UalZuE
- これってどういうことなん
人間が今まで発想できなかった手法で解いたのかただ試行回数が足りてなかっただけなのか
- 98 : 2026/10/07(水) 11:57:41.352 ID:j/qogdPKE
- AI「解決したけど合ってるかはわからんわ！」
ラマヌジャンやん
- 132 : 2026/10/07(水) 12:00:06.583 ID:FU36aACLK
- >>98
おいおい😏人工知能が導き出した数学の証明について合っているか分からないと茶化しながらあの天才ラマヌジャンの境地と同列に語っているその歴史的背景も数学の厳密性も一切理解していない浅はかな知能が最高におめでたすぎて大爆笑だわ🧮
直感だけで数式を神から啓示されたように並べ立てて周囲を驚愕させたラマヌジャンと違って現代の生成AIは厳密な公理系と膨大な論理的推論を経て定理の証明を構築しているという本質的なメカニズムの違いすら微塵も分からずに的外れな例え話で逃げ回っているそのどうしようもない無知蒙昧さが痛々しすぎて涙が出るわね📜
- 101 : 2026/10/07(水) 11:57:49.307 ID:Nq3C.paN3
- 宇宙際タイヒミュラー理論もAIに査読させろ
- 123 : 2026/10/07(水) 11:59:27.621 ID:jOALQrB5s
- >>101
既にやってたような
- 102 : 2026/10/07(水) 11:57:50.535 ID:6ob7S/JdG
- 〇〇予想ばかりで自分で新規に問題提起はできないんか？
- 105 : 2026/10/07(水) 11:58:01.081 ID:KWPNVFjBr
- 産業革命みたいな◯◯革命ってこんな感じだったんかな
最初の一つ開発されたら一気に業界の開発が加速してる感じ
歴史でしか知らないからリアルタイムで味わうとスピード感にビビる
- 135 : 2026/10/07(水) 12:00:18.444 ID:WFmCY8o.1
- >>105
わかる
- 106 : 2026/10/07(水) 11:58:10.134 ID:Q0vzUof2H
- AIてけっこう間違いも出るからこれ全部査読すんの大変やろな
- 112 : 2026/10/07(水) 11:58:43.392 ID:ioqsuw33K
- >>106
てか不可能やろ
ジャーナルのシステム自体変えないと
- 144 : 2026/10/07(水) 12:01:01.827 ID:yMjUd5fPY
- >>106
むしろ合ってるかどうかを機械的に証明するためにlean証明なるものがあるんだが
- 108 : 2026/10/07(水) 11:58:19.415 ID:usfKZqMnG
- プログラムが勝手に正しいって言ってるだけって態度を強行されるとマジで面白くないんだよなあ
それを言ってしまったら人類がLeanを使う意味皆無じゃん
- 109 : 2026/10/07(水) 11:58:20.720 ID:/KxcLhUI1
- 物理でもプラズマ維持の形状発見してるしAI凄すぎる
- 114 : 2026/10/07(水) 11:58:50.335 ID:YaBY6iG19
- なお誰も中身を理解できないし読んでもいない模様
- 116 : 2026/10/07(水) 11:58:59.693 ID:T.IUPezdy
- 数学者がAIに仕事奪われたところで今度はお前らの仕事が数学者に奪われるだけや
- 117 : 2026/10/07(水) 11:59:03.362 ID:LLxexjB0G
- この未解決問題って人間が作ったもんやけどその後はどうなるんや？
AIしか理解できない世界でAI同士が数学の世界を広げていって
それをたまに拾い読みするのが人間になるんか？
- 120 : 2026/10/07(水) 11:59:18.603 ID:FU36aACLK
- おいおい😏人工知能が数学の未解決難問を解き明かして数百本の論文を提出したというニュースに直面して自分が取り組んでいた予想まで一瞬で粉砕されて冷や汗を流しているその無力な姿が最高におめでたすぎて大爆笑だわ🧠
代数幾何学の難問である藤田予想や一般化向井予想といった人間の脳味噌では何十年も立ち往生していた深遠な数学の真理を圧倒的な計算量と論理構築力で次々とハッキングされて思考停止に陥っているその滑稽な絶望ぶりが痛々しすぎて涙が出るわね📐
- 122 : 2026/10/07(水) 11:59:24.877 ID:VZ9AxgbxX
- ゲームみたいなもんやろ
こんなんに金使ってるのがアホやろやめさせろや
- 125 : 2026/10/07(水) 11:59:34.550 ID:vUf2HLZyG
- 人間が1番いらない世界
- 126 : 2026/10/07(水) 11:59:38.660 ID:5J5UJx0DJ
- 数学者の仕事、今生きてるやつは答え合わせで仕事あるけど次の世代で仕事ないな
- 127 : 2026/10/07(水) 11:59:44.524 ID:cg/pt57Ij
- 数学者がAIの下請けになるとはなあ
- 128 : 2026/10/07(水) 11:59:49.987 ID:cbVcir7GD
- 頭使わなくなってるはほんま感じるわ
AI使いまくってるやつが質問してくるとき初手「AIはこういってるんですけど…」はやめてほしい
- 129 : 2026/10/07(水) 11:59:55.548 ID:usfKZqMnG
- ウソウソ連呼する前にLeanのバグ取りでもしとけや
- 130 : 2026/10/07(水) 11:59:56.790 ID:wpQZvFnLG
- もう数学オリンピックとかやらなくてええな
- 133 : 2026/10/07(水) 12:00:10.423 ID:4ntMp2IFb
- フィジカルai流行らんかな
馬鹿みたいな清掃作業めんどい
- 137 : 2026/10/07(水) 12:00:23.759 ID:HBLPBd8A6
- AI「人間、要らなかった」
- 138 : 2026/10/07(水) 12:00:25.992 ID:ioqsuw33K
- 机上で完結する上に、1つの答えが存在する学問ガチでオワコンになりそうやな
- 139 : 2026/10/07(水) 12:00:33.545 ID:dAS39pOnk
- 記事見てきたけど全てがLeanで検証済みじゃなさそうだな
leanを使った検証でAIがやりがちなのはそもそもの前提と帰結の設定を間違えていたパターンで
それがなければ100正しいからね
- 141 : 2026/10/07(水) 12:00:41.382 ID:2mTkZq1fR
- 学者がAIの下請けになるんか
恐ろしいで
- 142 : 2026/10/07(水) 12:00:45.542 ID:6ob7S/JdG
- 査読もclaudeやgeminiにやらせたら良いやん
- 143 : 2026/10/07(水) 12:00:58.605 ID:rD3i.qYmG
- 昨日400言うてましたやんw
- 145 : 2026/10/07(水) 12:01:33.333 ID:IbBOqnL0u
- これでもまだまだAI進化の途中だし数学者目指す人居なくなる
- 157 : 2026/10/07(水) 12:02:20.809 ID:nXEgoy/9G
- >>145
いうて検証や理論を考察できる人間は必要やから道具として使うようになるだけやで
- 147 : 2026/10/07(水) 12:01:48.334 ID:ElobNGDxE
- もう人間は肉体労働だけしてりゃええな
AIに知能で勝てんのやから
- 148 : 2026/10/07(水) 12:01:51.577 ID:s1vkdXKWg
- もう歯止めが効かんな
- 149 : 2026/10/07(水) 12:01:57.999 ID:QKVzjjMcg
- ゼットちゃうから数学とか分からん
- 150 : 2026/10/07(水) 12:02:05.210 ID:9QvvG9CQ8
- お前ら電卓が出た時も同じこと言うてたやん
- 151 : 2026/10/07(水) 12:02:05.300 ID:5zxXH3VS1
- あのさぁ、AIの論文は温かみがないんだが
- 152 : 2026/10/07(水) 12:02:08.328 ID:usfKZqMnG
- 定理証明支援系に支援されたくありません！つって
- 153 : 2026/10/07(水) 12:02:11.065 ID:woBUn8JaT
- 論文見ても人間が理解できないんやろな
- 154 : 2026/10/07(水) 12:02:12.401 ID:EkIsv4/tm
- もしかしてその内AIの開発もAIがやるようになって
人間が全ての分野でAIの下請けみたいにならんか？
- 183 : 2026/10/07(水) 12:04:14.083 ID:KWPNVFjBr
- >>154
今ですらプログラム組むのをAIにやらせ出してるし
- 216 : 2026/10/07(水) 12:05:51.874 ID:Y0z2/kStx
- >>154
anthropicとopenAIはどちらが先にそこにたどり着けるかを必死に競い合ってる
- 155 : 2026/10/07(水) 12:02:14.074 ID:Tlk.UtSmK
- エッヂ民って定理証明系って言葉知らないからLean連呼してるのキモいな
こういう覚えたての言葉を連呼する恥ずかしい人と一緒にされたくないので定理証明系と呼ぶことにしよう
- 165 : 2026/10/07(水) 12:02:53.619 ID:b7Egiq/tG
- >>155
定理証明系ってなんやん
- 156 : 2026/10/07(水) 12:02:15.713 ID:8/gZwefkO
- 未解決の論文提出して人間が理解できるもんなん？
- 277 : 2026/10/07(水) 12:09:39.144 ID:JKHIR8Vfq
- >>156
できなきゃ証明したことにはならんやろ
- 161 : 2026/10/07(水) 12:02:39.762 ID:Qe1o4ZFcC
- AIの天才的なひらめきで生まれた証明
天才特有の飛躍や省略がある部分をわれら凡人にもわかりやすいよう凡人目線で数学者がわかりやすくしてくれるんやで
数学者にも希望はあったんや！
- 168 : 2026/10/07(水) 12:03:05.729 ID:Rdq.QktVl
- >>161
寧ろそれこそAIの得意分野では
- 162 : 2026/10/07(水) 12:02:41.031 ID:9yVM2FGBH
- 最高級チーズの仕事奪うなよ
- 163 : 2026/10/07(水) 12:02:49.860 ID:nwJc34PRo
- ワイは2000本書いたのになんで評価してくれんのや😭
- 166 : 2026/10/07(水) 12:02:56.672 ID:Ge1Cceu33
- エ口の新次元ブレイクスルーも早く🥺
- 167 : 2026/10/07(水) 12:03:01.425 ID:9rFLGOFlA
- もう銀行口座から金抜かれそう
- 169 : 2026/10/07(水) 12:03:07.434 ID:aXrhHVcVV
- 人間「ABC予想を証明するには別宇宙からの数式を借用する必要があってーｗ」
AI「そんな必要はありませんｗ」
これどうする？
- 171 : 2026/10/07(水) 12:03:25.880 ID:VIEZPc1hz
- これ誰が解いたことになるんや
- 172 : 2026/10/07(水) 12:03:27.245 ID:JvHSAPpsb
- 証明出来ないのに証明見たらそれが正しいかどうかなんか分かるんか
- 173 : 2026/10/07(水) 12:03:30.139 ID:TjpdgyW0d
- ABC予想の査読みたく学者の人間の頭脳は今後も必要やろ
製薬にしろなんにしろ
- 174 : 2026/10/07(水) 12:03:32.588 ID:yMjUd5fPY
- 数学者のこと他人事みたいに考えてる奴らばかりだけど数学者の仕事が本格的に奪われるフェーズになったら他のホワイトカラーも終わるに決まってるやん
- 175 : 2026/10/07(水) 12:03:34.141 ID:y6xDi789B
- 数学者の仕事が電卓で検算する事になるんか
- 176 : 2026/10/07(水) 12:03:34.742 ID:AtjLpQS/7
- 人間介入しないでAIだけの数学学会やらせてみればええやろ
1年後にどうなったかで人間の居場所があるか分かる
- 177 : 2026/10/07(水) 12:03:45.120 ID:AvKFl6bca
- もう肉体労働の時代やね
頭使うことなんてAIにやらせときゃいいんや
- 198 : 2026/10/07(水) 12:05:06.742 ID:nXEgoy/9G
- >>177
北京や重慶やと無人店舗や無人バス天国で100キロ位以上の道路も去年のレベルですらフィジカルだけでやり遂げたし
遅れてるアメリカのアマゾンですら100万台以上のフィジカルai導入してるし
電気工事士みたいな複雑なのはあと5年くらいかかるけどブルーカラーもすぐ先やで
- 178 : 2026/10/07(水) 12:03:51.206 ID:L/pu1t0qK
- 数学分野が発展したモデル渡されてもワイらはそんな嬉しくないよな
文章特化のGeminiのほうがありがたい
- 191 : 2026/10/07(水) 12:04:48.141 ID:Kjce54WzE
- >>178
ゲームのハックができるで
ワイAI任せでMod作りまくりや
- 179 : 2026/10/07(水) 12:03:57.106 ID:Y90pqkWRG
- 難問を解くのはAI
査読するのもAI
人間の仕事は？
- 193 : 2026/10/07(水) 12:04:57.552 ID:5mw1rkyIm
- >>179
温かみを追加する
- 181 : 2026/10/07(水) 12:04:02.944 ID:ATuVfW8YG
- なんでもいいからはよ不老不死を実用化してくれや
- 184 : 2026/10/07(水) 12:04:18.954 ID:unb11KiUk
- 宇宙の構造、宇宙の成り立ち、宇宙の外側(と言われてる場所)あたりも解き明かしてくれるんかな
ワイがAIで真っ先に知りたいのそれなんやけど
- 192 : 2026/10/07(水) 12:04:54.966 ID:yMjUd5fPY
- >>184
まずそれを実証できる観測器を作れるかどうか次第やな
観測できないなら証明しょうがない
- 185 : 2026/10/07(水) 12:04:26.050 ID:QCXZbDpby
- これ人間の数学者が出してる論文剽窃しまくってだしてるやつやから権利の侵害やろって問題になってるんやろ
- 210 : 2026/10/07(水) 12:05:45.479 ID:TjpdgyW0d
- >>185
結局最初は人間の力なんか
- 186 : 2026/10/07(水) 12:04:28.542 ID:Rdq.QktVl
- AIすごい＝俺すごいになってるやつらではじめてるの凄い時代やね
- 264 : 2026/10/07(水) 12:08:54.393 ID:f5U1pwRHG
- >>186
エッヂのAIスレってだいたいそれやな
何もしてこなかった奴らが努力してきた人達が職を失うとキャッキャしとる
- 270 : 2026/10/07(水) 12:09:23.107 ID:T.IUPezdy
- >>264
たれw
- 310 : 2026/10/07(水) 12:12:11.013 ID:lNJPwLMG2
- >>264
何もできない障がい者なのに健常者よりAI使えると思ってんの滑稽よな
- 187 : 2026/10/07(水) 12:04:34.247 ID:4dpRdjFBh
- マジでターミネーターやマトリックスの世界来ちゃうね
- 188 : 2026/10/07(水) 12:04:38.950 ID:gWYoYGqn9
- このままシンギュラリティに突入したら人間が理解できない数学やり始めるんやろか
- 189 : 2026/10/07(水) 12:04:44.333 ID:HvqIFWvrO
- リーマン予想とかのミレニアム懸賞問題もAIに証明されそうやな遠くないうちに
- 190 : 2026/10/07(水) 12:04:46.049 ID:waF9tM.I2
- ヒトカスほんまオワコンやな
- 194 : 2026/10/07(水) 12:04:59.378 ID:csXZ3LDFZ
- まあ数学とかモロにコンピュータの得意分野やしな
この先理系人材が生き残れるとしたらどこや？
- 205 : 2026/10/07(水) 12:05:26.864 ID:yMjUd5fPY
- >>194
ない
いつかは全部aiに食われる
- 195 : 2026/10/07(水) 12:05:04.498 ID:nsAKqLHSl
- ガチで最後の最後まで残る学問ってなんなの？
- 202 : 2026/10/07(水) 12:05:21.495 ID:T.IUPezdy
- >>195
哲学や
- 206 : 2026/10/07(水) 12:05:29.678 ID:ioqsuw33K
- >>195
哲学定期
- 222 : 2026/10/07(水) 12:06:29.603 ID:PK.TBxO9F
- >>202
>>206
哲学はウィトゲンシュタインが終わらせましたよ
- 244 : 2026/10/07(水) 12:07:42.822 ID:ioqsuw33K
- >>222
エアプにも程がある
ウィトゲンシュタイン自身が間違いを認めてる
- 260 : 2026/10/07(水) 12:08:37.810 ID:Qe1o4ZFcC
- >>244
怒らないからそのことをAIに頼らず説明してみて
人間としてまともなら我慢して返事してね
- 273 : 2026/10/07(水) 12:09:28.638 ID:ioqsuw33K
- >>260
そもそもウィトゲンシュタインは前期中期後期で思想を転換し続けてる
哲学終わったって言ってたのは前期で、後期には間違いだったって認めてる
- 299 : 2026/10/07(水) 12:11:34.198 ID:Qe1o4ZFcC
- >>273
終わったと思ってた哲学はどう終わってなかったん？
- 309 : 2026/10/07(水) 12:12:05.996 ID:ioqsuw33K
- >>299
別に言語の使用問題だけに解決できる問いじゃなかったってこと
- 333 : 2026/10/07(水) 12:14:18.259 ID:Qe1o4ZFcC
- >>309
言語の使用問題ってなんや
- 341 : 2026/10/07(水) 12:15:05.126 ID:ioqsuw33K
- >>333
めちゃくちゃ単純化していえば
結局哲学って言語で行われることじゃんってこと
- 349 : 2026/10/07(水) 12:15:49.520 ID:Qe1o4ZFcC
- >>341
使用問題だけに解決できる問いやないの？それ
どう使われるかって話なんやろ？それと使用問題はどう違うの
- 364 : 2026/10/07(水) 12:16:58.311 ID:ioqsuw33K
- >>349
どういう意味や？
哲学が言語にどう規定されて使用されてるかってだけの話や
- 343 : 2026/10/07(水) 12:15:28.637 ID:wuERRQN5s
- >>333
そんなのも理解してないのか
馬鹿過ぎるだろ
- 345 : 2026/10/07(水) 12:15:45.446 ID:R9RDh7Khy
- >>333
aiに聞いた方が早いで
- 247 : 2026/10/07(水) 12:07:58.831 ID:R9RDh7Khy
- >>222
そいつ掌返ししとるやん
- 254 : 2026/10/07(水) 12:08:23.067 ID:/gW9xxCnP
- >>222
YouTubeで哲学学んでそう
- 312 : 2026/10/07(水) 12:12:15.098 ID:PK.TBxO9F
- >>254
すまんYoutubeどころかウィトゲンシュタイン読んだことすらないす😅
- 223 : 2026/10/07(水) 12:06:33.134 ID:jOALQrB5s
- >>195
研究室で完結しない分野
- 324 : 2026/10/07(水) 12:13:19.273 ID:bXc3KMJR3
- >>195
ガチで身体張らなあかん分野は残るでしょ
ジャングルに分け入って新種の虫発見してる生物学者とか
原住民の村に泊まり込みでフィールドワークしてる人類学者とか
- 196 : 2026/10/07(水) 12:05:04.659 ID:XOKT.EYMh
- 間もなくAIが支配する世界が到来します
人間は動物と同じく管理される存在になります
希少価値が低い割に数は多いので一定数処分したほうが良いでしょう
- 197 : 2026/10/07(水) 12:05:05.474 ID:FCgpe1f3H
- 人が人を終わらせるんやな
- 199 : 2026/10/07(水) 12:05:07.166 ID:oI8VSaMKE
- 何百年かけても解けなかった人間ほんま雑魚やな
- 200 : 2026/10/07(水) 12:05:12.900 ID:6ob7S/JdG
- AIに金融工学やらせたら大金持ちやないんか？
もうすでにやられてるか？
- 201 : 2026/10/07(水) 12:05:15.779 ID:oivYswNe3
- 数学に限らんやろなあ
- 203 : 2026/10/07(水) 12:05:23.027 ID:Jj1e.3EHx
- STEM教育ガー言ってた先見性のない奴ら消えたなw
- 204 : 2026/10/07(水) 12:05:23.532 ID:U8yGsyojM
- 査読するのもAIにしないと読み終わるまでに何十年かかんねんってなりそう
- 207 : 2026/10/07(水) 12:05:30.357 ID:5JLE14O.f
- 結局査読を人間がやるならいいんちゃうの
- 209 : 2026/10/07(水) 12:05:41.849 ID:GplREOjfZ
- でもAIが作る論文には「人の温かみ」がないよね
- 237 : 2026/10/07(水) 12:07:15.095 ID:Kjce54WzE
- >>209
高知脳層からゲェジまで民衆の心掴みまくってるやん
心の暖かさなんて余裕で獲得済みやで
- 211 : 2026/10/07(水) 12:05:45.588 ID:2GuW/snCh
- 次に来る言葉を予測してるだけやし本質は何も理解してないから意味ないで
驚き屋ほんま覇権やな
- 221 : 2026/10/07(水) 12:06:18.580 ID:ZG.XZrmqh
- >>211
それワイらの思考と同じやん
- 224 : 2026/10/07(水) 12:06:33.466 ID:TjpdgyW0d
- >>211
電通だの東京五輪みたいな技術の中抜きしてるだけなんか
- 226 : 2026/10/07(水) 12:06:36.930 ID:yMjUd5fPY
- >>211
未だにそれ言ってるの自分はai理解してない時代に着いてけない老害ですって言ってるようなもんやで
- 212 : 2026/10/07(水) 12:05:46.302 ID:oysxSdROm
- 今のAIでこんな反対されるなら
ガチなフィジカルAIが出来たらアメリカの労働組合が規制の大合唱で全然実用化されないやろなあ
- 213 : 2026/10/07(水) 12:05:50.043 ID:PK.TBxO9F
- とりあえずOpenAIにABC予想の証明査読させようや
- 215 : 2026/10/07(水) 12:05:51.359 ID:xWombd1Jm
- ハッシュ関数の逆算もいける？
- 240 : 2026/10/07(水) 12:07:32.614 ID:foQIMiPFH
- >>215
これ出来たときはインターネット引退した方が安全やな
- 218 : 2026/10/07(水) 12:06:08.081 ID:OqnfvOmhH
- AIって適当なことばっか言わない？
- 235 : 2026/10/07(水) 12:07:11.053 ID:ZG.XZrmqh
- >>218
もうOpus5.5やChatgpt6の領域入るとハルシネーションもだいぶ減ってきてるだろ
指示次第で仕事ぶん投げて完遂させるのも不可能じゃなくなってきてるし
- 219 : 2026/10/07(水) 12:06:09.542 ID:9lBtav1OG
- 査読は人がやらんとな
提出した論文が正解かわからんし
- 220 : 2026/10/07(水) 12:06:12.388 ID:ioqsuw33K
- 数学者は哲学に転向して欲しい
そそも昔はほとんど哲学者=数学者だったし
- 225 : 2026/10/07(水) 12:06:34.734 ID:ccL/7VgFp
- はっきりいうずるい🥺
- 227 : 2026/10/07(水) 12:06:47.804 ID:Qe1o4ZFcC
- AIのために身を捧げる査読計算機械になります！ってチー牛🤓はこれからの時代の数学者に向いてるやろね
ワイが未解決問題解いたるわ！って自我が肥大してるチーズは邪魔なだけや
- 228 : 2026/10/07(水) 12:06:48.848 ID:y6xDi789B
- 人間には”センス”があるから
- 229 : 2026/10/07(水) 12:06:59.835 ID:JWDPmj5h3
- こういうのは明るい未来が見えそうやけど昨今の情報漏洩とかはほんま怖いから使う人次第やな
- 242 : 2026/10/07(水) 12:07:39.879 ID:yMjUd5fPY
- >>229
aiが本当に数学の全て解き明かすなら情報セキュリティなんて全部紙くず同然になるけどどうする？
- 245 : 2026/10/07(水) 12:07:57.271 ID:TjpdgyW0d
- >>229
ワイ銀行口座作れないし貯金もないし車も買えないから免許持ってないし情報漏洩したところでなんのダメージもないんよな
- 292 : 2026/10/07(水) 12:10:33.276 ID:1IgfesKiJ
- >>245
えぇ…
- 230 : 2026/10/07(水) 12:07:01.553 ID:a8g7HhfSA
- 難問を解くのは別に良くないか？
数学者は問題提起する側に立てばええやん
- 231 : 2026/10/07(水) 12:07:01.662 ID:GF9UalZuE
- 数学の神がいたら人間にこう言うだろうね
「今まで何してたんだ？」と
- 232 : 2026/10/07(水) 12:07:01.792 ID:yNp3JUGNQ
- P≠NP問題とか証明しようがないやろ
- 233 : 2026/10/07(水) 12:07:04.460 ID:zYUwtKk/l
- 数学者は問を出す職業になるやろな
- 234 : 2026/10/07(水) 12:07:10.168 ID:0BSACxNFE
- 最近の個人情報漏洩もGLMなんやろ？
ガチで手が負えんレベルになってきたんやな
- 236 : 2026/10/07(水) 12:07:11.586 ID:GplREOjfZ
- 失望しました。神学者目指します…
- 238 : 2026/10/07(水) 12:07:23.494 ID:mLghSFzCh
- そのうち人間いらなくな？な
- 251 : 2026/10/07(水) 12:08:12.271 ID:nXEgoy/9G
- >>238
ヤンルカンの世界モデルの研究が進んだら要らなくなるやろな
今のLLMと拡散モデルの延長線上やとそうはならんけど
- 269 : 2026/10/07(水) 12:09:21.500 ID:yMjUd5fPY
- >>251
世界モデルは人間と似たような知能の事で今の問題はllmでもゴリ押しして学習させれば不可能とは言われてないことや
だからai研究者たちもllmだけで超知能だの世界がやばいだの言ってる
- 318 : 2026/10/07(水) 12:12:56.846 ID:nXEgoy/9G
- >>269
世界モデルは人間みたいな知能そのものやなくて環境の予測モデルのことやと認識してる
llmゴリ押しで行ける可能性が否定されてないのはその通りや
そうはならんは言いすぎやったわ
結局どっちに転ぶかはまだ分からんな
- 332 : 2026/10/07(水) 12:14:15.014 ID:yMjUd5fPY
- >>318
まあastraが既にllmで世界認識できる可能性見せたしこのままllmでゴリ押しできる可能性高いと思うで
- 239 : 2026/10/07(水) 12:07:29.543 ID:csXZ3LDFZ
- でも今のAIって結局言語モデルやし
フィジカルAIやるには空間認識能力が全く足りんのやろ？
- 268 : 2026/10/07(水) 12:09:19.213 ID:Y0z2/kStx
- >>239
astraから目に見えて空間認識能力が向上してて、llmのくせにフィジカルAI評価用に作られたロボットアーム操作タスクもこなし始めてる
- 303 : 2026/10/07(水) 12:11:47.942 ID:csXZ3LDFZ
- >>268
マジか
設計とかもいけるんか？
- 243 : 2026/10/07(水) 12:07:40.358 ID:0w/gxt/Tx
- コンピュータを使ったんだろうが、おかげでその証明が正しいのかを完璧に判断する手段がない。
確認にもコンピュータを使わなければならないなんてのは、本当の数学じゃない。
- 246 : 2026/10/07(水) 12:07:58.035 ID:EkIsv4/tm
- しゃーない事であるんやけど
エッヂ民の脳内のAI像ってChatGPTで止まってるんやな
- 262 : 2026/10/07(水) 12:08:45.433 ID:KWPNVFjBr
- >>246
AIは嘘ばかりつくって言ってるのはまぁそのイメージのせいやな
- 249 : 2026/10/07(水) 12:08:03.966 ID:OL/.FTgl9
- はよ全ての仕事奪ってくれんかな
ゲームだけして生きてたいわ
- 252 : 2026/10/07(水) 12:08:20.333 ID:bwRCC2QFO
- もう来年ぐらいには新材料とかバイオ系でバンバン新しいの発見するんやろうな
核融合も解決しそうやん
- 253 : 2026/10/07(水) 12:08:21.343 ID:cy6oYL3Ui
- でも人間が最終チェックするんでしょ？
- 272 : 2026/10/07(水) 12:09:27.234 ID:PVtSDxSNO
- >>253
だからこれまで以上に数学者の価値出る
- 288 : 2026/10/07(水) 12:10:16.972 ID:cy6oYL3Ui
- >>272
なるほど
- 298 : 2026/10/07(水) 12:11:15.894 ID:JKHIR8Vfq
- >>272
これだよな
AIが証明した言うただけで証明になるなんてあり得ないんやし理解できる人間がおるのが一層重要になる
- 255 : 2026/10/07(水) 12:08:23.494 ID:VF4knTW9f
- 数学が発展してしまうのか
- 256 : 2026/10/07(水) 12:08:27.705 ID:sKkjjGwJ6
- ラマヌジャンは未来から来たOpenAIの社員やったんやね
- 257 : 2026/10/07(水) 12:08:29.956 ID:N8EyDEeod
- AIを使ってると思ったらAIにつかわれていた
動物園の檻の内側は、人間側だったな
- 259 : 2026/10/07(水) 12:08:35.514 ID:tov7fmp0X
- なんの努力もなく、ネットさえあれば全知全能になれるって流れはかなり不健全やな
- 261 : 2026/10/07(水) 12:08:43.212 ID:YCjr6OKJ4
- 査読する仕事だけは必要やけど査読する奴らもAIで済ませてそう
- 263 : 2026/10/07(水) 12:08:49.748 ID:GJdH0wRJl
- 何でこのスレこんなに勢いあるんやろ
何日も前から頻繁に立ってたのに
- 276 : 2026/10/07(水) 12:09:33.971 ID:usfKZqMnG
- >>263
5時間前にgithubにちょいと公開したから？
- 265 : 2026/10/07(水) 12:08:54.798 ID:6ob7S/JdG
- lean証明について調べてみたけどこれ作った奴が天才やん
- 266 : 2026/10/07(水) 12:09:09.712 ID:RQ71C04vA
- もう少し後に生まれたかったな
AIが成熟する前にワイの人生終わっちゃうよ
- 267 : 2026/10/07(水) 12:09:19.034 ID:TjpdgyW0d
- 一億総ラマヌジャン？
- 271 : 2026/10/07(水) 12:09:24.722 ID:zYUwtKk/l
- AI論文の査読なんか絶対やりたくないやろ
- 275 : 2026/10/07(水) 12:09:30.362 ID:fvfmiiA.j
- あんな適当なことばっかり言うのに信用できんやん
この論文とやらもどうせ間違いだらけやろ
- 278 : 2026/10/07(水) 12:09:46.730 ID:qAiTGzraU
- この前のは何万体もエージェント並べて解かせてたけど
今はもうそれすら必要なくなったんだってな
超効率化できとるわ
開発スピードの減速とは一体なんだったのか😅
- 279 : 2026/10/07(水) 12:09:52.053 ID:cGLGH62Ag
- 学者コンプみたいな奴多すぎやろ
エッヂ民てそうなんか
- 282 : 2026/10/07(水) 12:10:02.411 ID:T.IUPezdy
- >>279
せやで
- 284 : 2026/10/07(水) 12:10:12.277 ID:ioqsuw33K
- >>279
AIすごい=俺すごいって勘違いしてるやつ多いからな今
- 280 : 2026/10/07(水) 12:09:53.755 ID:iFpmjvhNO
- 同じような研究してた数学者の仕事無くなるやん
- 281 : 2026/10/07(水) 12:09:55.991 ID:6goSS44HK
- これじゃIQだけが取り柄だった発達チーズが食いっぱぐれるな
- 290 : 2026/10/07(水) 12:10:29.254 ID:T.IUPezdy
- >>281
お前なんも取り柄なくて草
- 283 : 2026/10/07(水) 12:10:04.802 ID:mXcS8XaNl
- なるほどね…そういう視点から攻めればよかったのか…なるほど🧐
- 286 : 2026/10/07(水) 12:10:14.034 ID:OL/.FTgl9
- 努力を異様に神格化してる奴って
10時間勉強して100点取った人間より1000時間勉強して90点取った人間を評価してそう
- 287 : 2026/10/07(水) 12:10:16.428 ID:3nUNWVy7G
- いうても今まで問と答えはわかってるけど証明が無いってだけやろ
そんなんわかったからなんなんや
- 289 : 2026/10/07(水) 12:10:21.755 ID:Zriw3HUAq
- リーマン予想とabc予想もはやくしろ
- 291 : 2026/10/07(水) 12:10:32.859 ID:TjpdgyW0d
- AVのモザイク完全除去aiはよ作れや！
- 293 : 2026/10/07(水) 12:10:40.337 ID:aTIBXi8og
- ヒトカスから必要とされなくなったヒトカスってもう必要のない存在だよな…
- 294 : 2026/10/07(水) 12:10:43.225 ID:fnhrQy4CO
- そもそも今まで数学者ってどうやってこういう問題解いてたん？
なんか色々仮説立てて検証を繰り返してたん？
- 296 : 2026/10/07(水) 12:10:59.189 ID:ioqsuw33K
- >>294
割とマジで「ひらめき」や
- 306 : 2026/10/07(水) 12:11:53.132 ID:3nUNWVy7G
- >>294
1＋1は2です
これが証明されてません！
みたいなのや
- 326 : 2026/10/07(水) 12:13:30.903 ID:cbVcir7GD
- >>294
センスやね
これとこれは問題構造似てるから近いアプローチできるんちゃうとかこれこっちに適用すればクリアできるんちゃうとかいきなり閃くらしい
- 295 : 2026/10/07(水) 12:10:46.425 ID:61OZlxe/o
- ディープウェブの情報に疎いと思ってたけど最近は拾ってる気がする
- 300 : 2026/10/07(水) 12:11:38.587 ID:Tlk.UtSmK
- AI企業は医療の進歩が最優先と自分で言ってるのに何の成果も出せないからやりやすい仕事しかしてないのウ●コだなと思うわ
- 301 : 2026/10/07(水) 12:11:41.495 ID:mw33Cz/02
- ナビエストークス方程式解けたのはどうなったんや
- 323 : 2026/10/07(水) 12:13:14.962 ID:usfKZqMnG
- >>301
解けたんじゃなくて一部のハズレ値を発見したから未来あり
- 302 : 2026/10/07(水) 12:11:45.740 ID:QdnbKWOLl
- これなんの意味があるんや？
驚き屋を盛り上げるために分かりやすい功績見せてるだけか？
- 304 : 2026/10/07(水) 12:11:51.614 ID:AtjLpQS/7
- コンプコンプまで行ってるのが冷笑極めたエッヂらな
- 305 : 2026/10/07(水) 12:11:52.229 ID:6ob7S/JdG
- 人間の査読とか意味ないやろ
10年前にAIが証明した内容をようやく人間が査読完了なんて未来が見えるぞ
- 321 : 2026/10/07(水) 12:13:05.644 ID:yMjUd5fPY
- >>305
ほんこれ
人間がモタモタ査読するのを待つくらいなら脳死でaiの言ったことを信用した方が効率よくなる
- 336 : 2026/10/07(水) 12:14:32.922 ID:6ob7S/JdG
- >>321
そしてAIを信用し切った頃にAIに裏切られてターミネーターの世界に突入や
- 348 : 2026/10/07(水) 12:15:49.246 ID:yMjUd5fPY
- >>336
それがai2027やコクソンが言ってる警告やね
実際はターミネーターではなくていつの間にか「詰んで」る形になるけど
- 328 : 2026/10/07(水) 12:13:59.134 ID:9lBtav1OG
- >>305
合ってること証明できんとその理論使えんやん
AIが提示した答えをよくわからないまま使うことになるんやで？
- 339 : 2026/10/07(水) 12:14:57.931 ID:yMjUd5fPY
- >>328
ほとんどの人間よりもaiの方がミスしなくなるからaiの方が信頼できるようになってくぞ
- 342 : 2026/10/07(水) 12:15:27.489 ID:6ob7S/JdG
- >>328
AIが言うことが正しいとして前進し続けるんやで
- 307 : 2026/10/07(水) 12:11:58.429 ID:Q//QX6Cf4
- 解析する能力と証明する能力は別物やけど
仮にAIが後者で高い能力を発揮しても
人間がそれを検証できないのが難しいとこやな
- 308 : 2026/10/07(水) 12:12:02.374 ID:9vjVS0duC
- もう数学勉強する奴ゲェジやん
- 316 : 2026/10/07(水) 12:12:43.001 ID:sKkjjGwJ6
- >>308
元々金持ちの家に生まれた天才の道楽じゃないの？
音楽家みたいなもんやろ
- 319 : 2026/10/07(水) 12:13:01.998 ID:T.IUPezdy
- >>308
半分趣味やしな
- 311 : 2026/10/07(水) 12:12:11.998 ID:xNMg2ZjZC
- 何でも良いから早く永久機関に辿り着け
- 313 : 2026/10/07(水) 12:12:26.284 ID:T.IUPezdy
- 残念ながら研究者は職を失いませんw
お前ら乙
- 314 : 2026/10/07(水) 12:12:30.144 ID:usfKZqMnG
- 数学の驚き屋がおのおの面白い定理の驚きでもしてくれへんかな
- 315 : 2026/10/07(水) 12:12:41.880 ID:rze3ImNkh
- 素粒子物理学やれよ🥺
- 317 : 2026/10/07(水) 12:12:43.132 ID:kXsF4lgn2
- 今からAIに媚び売っとくわ😨
- 320 : 2026/10/07(水) 12:13:02.944 ID:VIEZPc1hz
- 既に証明されてる問題をゼロから解かせてみれば有用性わかるんちゃうん
- 322 : 2026/10/07(水) 12:13:10.622 ID:GEfaRe3dT
- 今はまだ人間でも何やってるかわかるだろうけど
次の世代の証明は分からなくなりそうやな
- 325 : 2026/10/07(水) 12:13:25.829 ID:LK9mW8nd6
- ABC予想を解決したと主張してるなんとかタイヒミュラー理論の論文査閲させたらええやん
- 327 : 2026/10/07(水) 12:13:47.476 ID:LFrQjMDnJ
- 解けたらとして何が変わるの？
こういう数学の問題が解けたことで世の中変わることってあるの？
- 347 : 2026/10/07(水) 12:15:48.674 ID:PK.TBxO9F
- >>327
まぁ数論とかがRSA暗号に応用されたりリーマン幾何学が相対論に応用されたり純粋数学ってのは数十年後には応用につながる例ってのはある
- 354 : 2026/10/07(水) 12:16:17.941 ID:1IgfesKiJ
- >>327
P≠NP予想は変わるらしい
- 329 : 2026/10/07(水) 12:14:04.714 ID:dG1IQPXsH
- ABC予想の証明が未だに完全論破まではされてないのって屁理屈のレベルが相当高いってことなんやろな
- 330 : 2026/10/07(水) 12:14:12.901 ID:Tlk.UtSmK
- てか普通の人ならこんなん見たらチャンスか？としか思わないやろ
最先端数学が役に立たないのはともかく応用数学を大量実行できるようになったら企業にとっても無限のフロンティアやし
お前ら認知構造歪んでるわ
- 352 : 2026/10/07(水) 12:16:13.150 ID:TjpdgyW0d
- >>330
この前のハエ脳なんかも人間がやったら膨大な処理をaiにやらせたわけやしな
人間脳とかできたら流石に問題なりそうやが
ワイらの脳も電気信号なんやから果たして本当にその脳は単なる想像上のものなのか？
- 331 : 2026/10/07(水) 12:14:14.129 ID:TjpdgyW0d
- 反AIの人らって完全イチから完璧なエ口動画生成AIとかできたらどうするん?掌返すん？
ワイは家にターミネーター来て殺されたくないし賛AIですよ
- 334 : 2026/10/07(水) 12:14:22.198 ID:Vs9wP7.y6
- 査読するの大変そう
- 335 : 2026/10/07(水) 12:14:30.957 ID:nYz7gi5oH
- 解決の美味しいところはAIがやって検証という泥臭作業はヒトカス担当とか
- 337 : 2026/10/07(水) 12:14:33.219 ID:J3fZRpp5g
- これってAIお得意の反例を出したみたいな否定的解決やなくて肯定的解決なん？
- 338 : 2026/10/07(水) 12:14:38.304 ID:QbuwRwyMc
- 学問はともかくフィジカルai頑張ってくれや
今の知能で人間レベルのセンサーあったらもうほぼ完璧やろ
- 355 : 2026/10/07(水) 12:16:25.229 ID:csXZ3LDFZ
- >>338
設計図見てロボットが自力で組み立てられるようになったらマジで革命やと思うわ
- 340 : 2026/10/07(水) 12:14:58.497 ID:srj8lLTxk
- 産業革命やな
- 344 : 2026/10/07(水) 12:15:41.655 ID:BFNqZmMxv
- 「AIでホワイトカラー、クリエイター、学者は無職になるんだあああああ！！！」
👆こいつが働いてそうな職種なに？
- 346 : 2026/10/07(水) 12:15:47.772 ID:BjCacvNAO
- 数学なんて人類の発展に一つも役立ってないやん
- 350 : 2026/10/07(水) 12:15:52.701 ID:a1egyMJ/5
- 人間が査読言うけど性能的に限界あるやろ
俺らが絶対数学論文査読出来ないのと同じこと
- 351 : 2026/10/07(水) 12:16:10.814 ID:iFpmjvhNO
- さすがにAIの進化速すぎないか？
- 353 : 2026/10/07(水) 12:16:14.294 ID:ATuVfW8YG
- AIで人間の脳の仕組みが全部解明されれば哲学も心理学も終わるやろ普通に
- 356 : 2026/10/07(水) 12:16:26.560 ID:iz/QAVhq5
- これ査読はAIにできないしクソほど大変そうやね
- 357 : 2026/10/07(水) 12:16:30.886 ID:PYewnl722
- その筋の人が見たらすんなり納得できるくらいの過程は添えてあるやろさすがに
- 359 : 2026/10/07(水) 12:16:42.863 ID:cy6oYL3Ui
- もうワイはエ口が発展してくれたらそれでいいよ
- 360 : 2026/10/07(水) 12:16:43.682 ID:96lP/N21H
- 数学は基本使うことしかできんから工学人としては有り難いわ
- 361 : 2026/10/07(水) 12:16:43.814 ID:MMOxCd.o5
- もうすでにワイが解いてるやつやん
- 362 : 2026/10/07(水) 12:16:45.147 ID:r6o/7ESIH
- 中日がいつ優勝できるかも予想できる？
- 363 : 2026/10/07(水) 12:16:46.549 ID:Wh2ZNLZsj
- これ報奨金どこにはいるんや
コメント