The fall of the theorem economy
(news.ycombinator.com)
1.
2.
The Fall of the Theorem Economy
(news.ycombinator.com)
3.
Alexander Grothendieck Revolutionized 20th-Century Mathematics
(news.ycombinator.com)
4.
Two ways to crack a walnut, per Grothendieck (2025)
(news.ycombinator.com)