OpenAI、数学の証明が間違いだらけで数学界から批判されまくる

1 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:30:31.831 ID:mh3BQdc1p
722本のうち既に3本が撤回された模様
https://github.com/openai/math/blob/main/history.md

レス1番のリンク先のサムネイル画像
2 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:31:23.558 ID:sjoPGFahh
しょせん驚き屋だったか
3 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:31:43.731 ID:eqVFpKLHZ
エッヂはAI驚き屋だった…?
6 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:32:35.401 ID:0.V6MZe9X
これやばいのでは
7 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:32:35.899 ID:eGWpKTU3P
せめてAIに検証させてから発表しろよ
8 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:32:45.639 ID:mh3BQdc1p
ナビエ・ストークス方程式も駄目っぽいし
https://arxiv.org/abs/2610.08144
9 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:32:51.829 ID:OrWE5jR8b
722本のうち50本でも生き残ったら大成功やろ
16 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:34:32.856 ID:Q3hH9dOq6
>>9
査読にコストが発生しなければね
25 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:36:04.692 ID:eGWpKTU3P
>>9
無駄な検証やらされて優秀な数学者のリソースが無駄に減らされるだろ
68 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:43:51.140 ID:L1x3Q03vh
>>25
その優秀な数学者が何年かけても証明できなかったものといただけで価値あるやろ
10 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:33:21.937 ID:yHtvVj1GP
AIが出力や発見だけやたら量産するけどその検証が出来んって今大問題になっとるからな
これで騒いでた驚き屋はさっさと検証してこいやっておもうわ
13 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:33:42.469 ID:sVPlt8q5h
間違いということにしないとメンツが潰れるからな
14 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:34:18.702 ID:SpU1ixhNZ
無料で修正させててワロタ
15 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:34:25.346 ID:yHtvVj1GP
特にLinuxあたりでは深刻でコミュニティが荒れる原因にもなっとるっていうな
これはAIが悪いんじゃなくてこういう発表するアホな人間が悪い
OpenAIのとんだやらかしだよ
20 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:35:23.881 ID:MAdfsT7nw
ライバル社の間違い暴きたい競合他社が数学者に営業かけて
将来AIポケモンバトルになりそう
21 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:35:40.370 ID:guf/F4PNP
lean付きのやつは大丈夫なんやろ?
44 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:39:03.061 ID:mh3BQdc1p
>>21
leanついててもそもそも元の命題と対応してるか怪しいってのがナビエ・ストークス方程式の証明で起きてる
51 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:40:07.141 ID:hC42xyLKe
>>44
はえー
22 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:35:45.824 ID:CMIvVlxm7
そんな事言ってられるの今だけやで
絵も数年前はバカにされてたのが今や見分けが付かなくなってきてるやろ
34 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:37:27.862 ID:lxhEOZ.yK
>>22
見分けがつかなかったら間違えてても良い分野なのか🤔
53 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:40:55.856 ID:CMIvVlxm7
>>34
数年後には間違いが無くなるって意味や
23 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:35:51.812 ID:ayGhCVfbe
ゴミ増やすなバカAIがよ🤪
24 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:35:54.676 ID:lhcL1XGud
間違いってことにしたうえで著名な数学者がちょっとだけ変えて発表するんだろうな
もう誰がどれ発表するか担当わけも済んでると思うわ
26 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:36:05.353 ID:KSCVMBVUR
自社のAIで査読しまくってから公表しろよ
27 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:36:05.613 ID:yHtvVj1GP
発表から数日で発見されるレベルでこれやからな?
数学の難問って何か月も検証されるようなものもあるからシャレにならんぞマジで
29 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:36:22.803 ID:In2RRYHIZ
査読もそのうち違うAIができるようになりそう
36 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:37:36.184 ID:yHtvVj1GP
>>29
それ自体はもうやっとるがな
AIが規約に外れたことしないかを監視するAIとかあるからな
ただし数学的発見と銘打って表にだしたのはOpenAIのアホ共だろう
そいつらが責任取るべきでAIのせいでもなんでもねえんだわ
30 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:36:39.584 ID:HGYq3pzid
AIで検証するか
31 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:36:41.946 ID:4kr6BQSOT
人間の数学者はAI批判するための職業として生き残りそうやな
32 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:36:48.059 ID:4j01aZNUK
厳密解が必要な領域でAIってええんか?
33 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:37:11.332 ID:M2opRU11T
数学者雇ってたやん
そいつらは仕事してなかったんか
37 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:37:36.198 ID:1L7gGs2nH
知ってた定期
38 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:37:39.604 ID:r6CHWw92e
撤回まで頭に入れての実験なんやろな
検証する人間のリソースは知らん
43 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:38:28.929 ID:qOFyCZioB
ウキウキで数学者もういらないってスレ建ててたのエッヂ黒歴史やろ
46 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:39:27.482 ID:r8KEz4kbR
普通に間違えたり嘘ついたりするから
人間より厄介かも
50 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:40:06.393 ID:1yVORj4j6
エッヂってマジで馬鹿の集まりやからな
いまだにChatGPTを持ち上げてClaudeに移行できないボケの集まりやし
52 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:40:52.919 ID:ADUy8HYca
な?AI神話を真に受けてる奴は現実見た方がええで
69 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:43:52.860 ID:He3Xp38vh
>>52
もはや宗教と化してるから目覚めんやろ
AIで憎き高収入がみんな引きずり落とされるんや!って奴
まあ数学者自体はそんなに収入良くなさそうやが
54 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:40:56.671 ID:SaKKbrgBG
人間だって間違いだらけの論文出してるのによく言うよな
結局保身がしたいだけやん
55 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:41:38.147 ID:VpjPM/mCd
人間がAIの間違いをチェックする仕事とかいう無駄の極み
57 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:41:50.900 ID:.nKdt2TZl
どうでもいいんだけどその本って単位やめてもらえないかな
58 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:41:56.595 ID:qOFyCZioB
leanなら理論上絶対正しいはずやけど
人間が与えた大本のleanの前提条件が間違ってたってことなんか
59 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:41:57.307 ID:ETGD6tUr4
エッヂのAIスレも流れ落ち着くまではいかにもな嫉妬民ばっかやしな
AIは関わる人間を選べないから優秀な奴だけやなく驚き屋や惨めな人間もよう集まってくる
60 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:42:16.028 ID:7xs2SeUm3
これAIイラストのときに見た流れやん
数年後には完全敗北してそう
73 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:44:31.782 ID:ueWKykT76
>>60
イラストと数学の証明を同じに捉えてて草
61 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:42:23.857 ID:qbmbSdlwT
まあそらそうよ
現状民間レベルでもハルシネーション起こしまくってるのに解けるわけないやん
62 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:42:42.057 ID:vY4D7FrbQ
驚き屋ってなんや
「世界が震撼…」←こういう人?
63 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:42:45.239 ID:zvfMlkjn9
小保方だったら記者会見させられてた
64 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:42:45.406 ID:yHtvVj1GP
AI活用すれば数学でも間違いなく効率はあがるやろけど
なんで発表した会社がそれを検証せずにだしとるんやってところが問題や
65 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:43:07.554 ID:KAwzvBAgh
そのうち人間じゃ検証できないレベルになるんやないの
67 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:43:40.503 ID:pErd.X20a
別に少しくらい間違っててもええやろ
70 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:43:59.756 ID:SaKKbrgBG
人間が解いて人間が検証するよりよっぽど効率ええんやけど?
72 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:44:28.172 ID:ADUy8HYca
ChatGPTとかiPhoneのショートカット機能すらろくに作れないからな
74 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:45:16.527 ID:KAwzvBAgh
AI「ほらよ今日の分だ検証しとけよ」
学者「はい…」
75 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:45:19.579 ID:2e2MNwlth
肌感で分かるやろ
AIに夢見てるだけやん
76 名前:ここからは表現の自由でイカせていただきます 投稿日時:2026/10/09(金) 07:45:30.433 ID:ej3mxruR1
検証屋やと千年経ってもできないんやから大人しくAI様の証明確認しとけばええやん

コメント

タイトルとURLをコピーしました