Elies Gil-Fuster (@eliesgf.bsky.social)

davidbessis.substack.com/p/the-fall-o... An interesting read, with lots of food for thought. It reminds me of my enthusiasm for "mathematical clean-up work", i.e. going back to the foundations of a topic, making the constants sharper, proofs nicer (and more modern), and the like.

loading . . .

The fall of the theorem economy How AI could destroy mathematics and barely touch it https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy