Fields Medalist Timothy Gowers says most famous mathematics problems solved by LLMs so far have almost all been with counterexamples rather than proofs (Timothy Gowers/Gowers's Weblog)

Fields Medalist Timothy Gowers notes that large language models (LLMs) have predominantly solved famous mathematics problems by providing counterexamples rather than formal proofs. This observation, shared on Gowers's Weblog, highlights a specific approach LLMs have taken in tackling complex mathematical challenges. Gowers's statement suggests a distinction in how AI currently contributes to mathematical problem-solving, focusing on disproving rather than constructing comprehensive proofs.