The AI maths breakthroughs everyone quotes are counterexamples, not proofs

A counterexample and a proof are not the same kind of achievement. A proof shows that something is always true. A counterexample shows that something claimed to be always true is not, by producing one object where it fails. Both settle a question. They ask di…

