Hacker News new | ask | show | jobs
by elwell 4482 days ago
I'm more surprised that they were able to prove it computationally.