Conjectures people should have made
`` Computers will solve the four colour conjecture''
`` Computers will prove the non-existence of a projective plane of order ten''
`` Computers will generate far more mathematical questions than answers ''
