Only recently have computer proofs become somewhat accepted. The holy grail is still to find simple proofs to interesting problems to enlighten people.
No comments yet.