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)
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 …
We haven't written up this one. Techmeme has the full story — the link below goes straight to it.