> Canonization often changes the picture itself: the definitions, the abstractions, the API, and sometimes even the statement…
19/
laughingmeme.org
Canonization and the Overhang
David Bessis’s “The fall of the theorem economy” is ostensibly about LLMs and the pursuit of pure math, and I found it fascinating in its own right, even while I’m not qualified to evaluate a number o...