A 50-year-old computer-assisted proof
By speckx · 2026-09-10 · 3 points · 0 comments
https://www.johndcook.com/blog/2026/09/09/four-colors/
By speckx · 3 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews