Timothy Gowers writes Gowers’s Weblog, where he has been recording how language models change mathematical practice. He appears three times in this corpus: reporting that ChatGPT 5.5 Pro produced PhD-level research in about an hour, reporting that a major additive-combinatorics problem fell and that humans then lifted methods from the machine proof, and arguing in August that LLMs shine at search-heavy proof discovery while humans still prune deep trees best.
Person
Timothy Gowers
British mathematician whose blog essays track which kinds of mathematics language models do well, and who has reported machine-made results in his own field.
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to August 16, 2026 (theinnermostloop.substack.com)
Development timeline
Newest reporting dates first. Reporting dates may differ from event dates.
Knowledge graphopen in browser →
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.