An essay by mathematician David Bessis on how AI theorem-proving could hollow out math, without advancing it. Submit to upvote on HN https://news.ycombinator.com/submitlink?u=https%3A%2F%2Fdavidbessis.substack.com%2Fp%2Fthe-fall-of-the-theorem-economy&t=The%20Fall%20of%20the%20Theorem%20Economy
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
davidbessis.substack.com