Reposted by David Bessis
An essay by mathematician David Bessis on how AI theorem-proving could hollow out math, without advancing it.
Submit to upvote on HN
news.ycombinator.com/submitlink?u=h…
davidbessis.substack.com
The fall of the theorem economy
How AI could destroy mathematics and barely touch it