The Fall of the Theorem Economy(davidbessis.substack.com)
davidbessis.substack.com
The Fall of the Theorem Economy
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
1 comments
Mentioned on the story about OpenAI's solving a major Erdos problem: https://news.ycombinator.com/item?id=48212493