Did amateur mathematicians ever produce important proofs? | Hacker News Reader