When are two proofs essentially the same? (2007)(gowers.wordpress.com)

58 points by ColinWright 2 years ago | 86 comments

What sort of maths are LLMs good at?(gowers.wordpress.com)

250 points by ColinWright 2 months ago | 138 comments

A recent experience with ChatGPT 5.5 Pro(gowers.wordpress.com)

683 points by _alternator_ 5 months ago | 510 comments

Timothy Gowers's blog post describing how ChatGPT 5.5 Pro produced PhD-level mathematical research in about an hour with little input from him.

Creating a Database of Motivated Proofs(gowers.wordpress.com)

4 points by robinhouston 1 year ago | 0 comments

Creating a database of motivated proofs(gowers.wordpress.com)

13 points by furcyd 1 year ago | 2 comments

Why I didn’t sign the Fields medallists’ letter(gowers.wordpress.com)

267 points by simianwords 1 month ago | 376 comments