techl8

Fields Medalist Timothy Gowers says most famous mathematics problems

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 …

Source: Gowers's Weblog · Opens in new tab