Fields Medalist Timothy Gowers says most famous mathematics problems solved by LLMs so far have almost all been with counterexamples rather than proofs
For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing...