3 ms·The Fall of the Theorem Economy4 points by tmp10423288442 5mo agotmp10423288442 5mo agoMentioned on the story about OpenAI's solving a major Erdos problem: https://news.ycombinator.com/item?id=48212493 https://news.ycombinator.com/item?id=48212493