tmp10423288442
11 hours ago
Mentioned on the story about OpenAI's solving a major Erdos problem: https://news.ycombinator.com/item?id=48212493
The Fall of the Theorem Economy
4 pointsposted 11 hours ago
by tmp1042328844211 hours ago
Mentioned on the story about OpenAI's solving a major Erdos problem: https://news.ycombinator.com/item?id=48212493