logoalt Hacker News

cubefoxtoday at 7:50 PM0 repliesview on HN

Doing the last step of solving an open problem is the yard stick. But not for much longer: https://davidbessis.substack.com/p/the-fall-of-the-theorem-e...