Tim Gowers is a field medalist and an eminent mathematician.
Based on 6 scored articles
Referenced in coverage
“External mathematician who verified that an AI-generated proof of a mathematical conjecture would merit immediate acceptance at the Annals of Mathematics.”
“Cambridge mathematician who reviewed OpenAI's AI solution to Erdős unit distance problem and endorsed its quality.”
“Called OpenAI's solution to the Erdős unit-distance conjecture a milestone in AI mathematics.”
“Described OpenAI's autonomous resolution of the planar unit distance problem as 'a milestone in AI mathematics'.”
“Fields medalist who reviewed OpenAI's proof of the unit distance problem and called it a milestone in AI mathematics.”
“Author of the blog post about ChatGPT 5.5 Pro's mathematical capabilities, testing it on problems from additive number theory.”