Post #2438853
2026-04-27 17:36 UTC
@androcat@toot.cat
GenAI is indeed just a stochastic search tool over the space of relevant text, that is biased towards producing text which is a valid proof (via RL).
One should not mistake the methods for the outcomes.
@tao@mathstodon.xyz
Replies (1)
-
@androcat@toot.cat 2026-04-27 17:46
@jac@types.pl You're skipping over the fact that NO PART of the actual goings on involve finding a valid proof. It's just a word list and a randomizer. @tao@mathstodon.xyz