frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

The Fall of the Theorem Economy

https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
2•tmp10423288442•46m ago

Comments

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