Read the piece on gowers.wordpress.com ↗
Every claim below was made in this piece, quoted word for word and numbered in the order the piece makes them, so you can read it there rather than take our word for it. The sentence above each quote is our reading of the claim, not their wording. Each quote was checked against a stored copy of the page at build time; where the two differ, the quote is the fact.
Their wordsFor example, it seems to me that the importance of rigorous proof will be even greater in an AI age than it was before - if the output of AI is not underpinned by rigorous proof, then the kinds of difficulties one already hears about with certain areas of human mathematics (see for example many talks by Kevin Buzzard arguing for the value of formalization) would be hugely magnified.
Their wordsI think there is simply no point in hoping that our current system of incentives will not be disturbed - it obviously will.
Their wordsI do think all that will happen at some point, but whereas some people say that it will obviously happen within the next two to three years, I would say that it might happen as soon as that, but I don't rule out that we'll get lucky and find that we can do interesting AI-assisted maths for quite a bit longer than that before AI doesn't need us any more.
Keep reading