Fields medallist Timothy Gowers says the celebrated AI maths results arrived as counterexamples, not proofs. One is not even ...