Post #2438855
2026-04-27 17:47 UTC
@androcat@toot.cat
Then I believe you are far out of date on your understanding and I would recommend you learn a bit about modern ML and AI methodology before commenting
@tao@mathstodon.xyz
Replies (1)
-
@androcat@toot.cat 2026-04-28 06:53
@jac@types.pl GenAI is in fact just a word list with a randomizer. You might be confusing GenAI with an actual methodology like Graph Theory. But GenAI is not capable of understanding. All it does is rehash its training data into new forms. At no point does it have an understanding of what makes a proof, or even what it is being asked to prove. It just produces stochastic approximations of what the previous proofs tend to look like. You've drowned in the flavor-aid. @tao@mathstodon.xyz