Q quantamagazine.org Surprise computer science proof in combinatorics 267 points theafh 3 years ago 146 comments