The AI maths breakthroughs everyone quotes are counterexamples, not proofs
https://media.thenextweb.com/2026/08/Timothy-Gowers-Washington-2009.avif" width="868" />
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 different things of whoever finds them.
One demands an argument […]
https://thenextweb.com/news/gowers-llm-maths-counterexamples-not-proofs?utm_source=social&utm_medium=feed&utm_campaign=profeed">This story continues at The Next Web