Doron Zeilberger on computer-assisted proofs | Hacker News Reader