AI maths: the famous results are counterexamples, not proofs

https://thenextweb.com/news/gowers-llm-maths-counterexamples-not-proofs