Simon Willison·· 4 days agoAI Score12
Quoting Jake Boggan
Quoting Jake Boggan
AI summary
Jake Boggan, who spent 24 years working on Barnette's Conjecture, says he feels oddly sad after hearing the problem is supposedly proven.
Source: Simon Willison · simonwillison.net