数学者「AIが未解決問題を解いても理解できない」←それが何だよｗ

有限単純群の分類とかだって理解できないだろｗ

2026/09/17(木) 00:13:18.82

糞スレはAIで立てるべき

たすかに

>>3
時代もここまできたかw

今でも、個人が証明された成果全てを理解できるわけじゃないが、誰かは査読してる
AIが証明したものだって、有用だと認められるような結果は、誰かが読んでるだろう
個人から見ればどっちも同じ

Terence Tao on AI in mathematics (and beyond)
teorth.github.io/tao-web/ai-views.html

誰も証明を読んでいないのである!!!

証明は正しくないが命題は正しいことはあるわけだ

細胞の仕組みとか人間はまだ完全に理解してないじゃん(でも確かに動いている)
それと同じでは？

なるへそ

単に数学が一段階進んだだけじゃん

理解することと命題の真偽は別問題。
全部理解できる人間などそもそもいない。
お前が理解できないからどうだというのか？

命題の真偽と証明が存在することは別問題？
基礎論詳しい人教えて