Gowers: the maths problems models have solved were solved by counterexample, not proof
Fields Medallist Timothy Gowers says almost all the famous mathematics problems solved by language models so far were solved with counterexamples rather than proofs.
Research