The Fall of the Theorem Economy

Mentioned on the story about OpenAI's solving a major Erdos problem: https://news.ycombinator.com/item?id=48212493