Post #2438852
2026-04-27 16:33 UTC
@tao@mathstodon.xyz
The null hypothesis: Generated proofs are just stochastic mishmashings of (at best) writings in the general genre "mathematical proof".
There's plenty of super-obscure (and probably unsuccessful) proof text out there to train a text-spewer on.
The obscurity is the point.
Replies (1)
-
@jac@types.pl 2026-04-27 17:36
@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