ppll

Timothy Gowers

British mathematician; Fields Medal 1998. Professor at the Collège de France and fellow of Trinity College, Cambridge. Started the Polymath collaborative-proof projects and the 2012 Cost of Knowledge boycott of Elsevier. Writes Gowers's Weblog.

Timothy Gowers did not write this page. ppll compiled it from their own words, each linked to the source. Is this you? · Report a mistake

Follow

What they believe

The bold line is korrents’ wording; the quote is theirs. These 2: what they wrote before what they said aloud, one per source, newest first.

All 11 beliefs, on korrents

Beliefs

  • Korrents What they believe 11 beliefs — each backed by an exact quote.

    Each is a — compiled by korrents.com, not by them: the one-line wordings are korrents', the quotes are theirs.

    Recent

    Show 8 more
    • The current credit system for mathematical achievements will likely collapse.
      Very soon, the whole "credit system" will surely collapse, since finding an amazing proof will be no more of an intellectual achievement than when a citizen scientist spots through their telescope an object that turns out to be a new comet.

      Gowers's Weblog Said 17 Sept 2026

      Full record — everyone who holds this →

    • The survival of human mathematical tradition may depend on the motivation of young people to solve problems.
      I very much hope that there is a pool of young people for whom it will be a powerful motivation, because I think the survival of a human mathematical tradition may well depend on it.

      Gowers's Weblog Said 17 Sept 2026

      Full record — everyone who holds this →

      motivation

    • LLMs are not yet better than humans at all aspects of mathematics.
      it still doesn't seem to be the case that LLMs are better than all humans at all aspects of mathematics.

      Gowers's Weblog Said 12 Aug 2026

      Full record — everyone who holds this →

      LLMsmathematics

    • LLMs are likely to be good at problems where the best method is to try many ideas until one succeeds.
      Very roughly, LLMs would have the edge when there is more of a probabilistic element to the proof-finding process: they would be good at problems for which the best method is to try a lot of ideas, not necessarily particularly novel, until at some point you get lucky.

      Gowers's Weblog Said 12 Aug 2026

      Full record — everyone who holds this →

      LLMs

    • Humans are currently better at finding surprising and conceptual mathematical arguments.
      Humans on the other hand would be better (for the moment) at finding more "surprising" and "conceptual" arguments, where the appropriate method is to dig deeper and deeper into a problem until the solution reveals itself.

      Gowers's Weblog Said 12 Aug 2026

      Full record — everyone who holds this →

    • The importance of rigorous proof may increase in an age of AI.
      For 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.

      Gowers's Weblog Said 26 Jul 2026

      Full record — everyone who holds this →

      mathematics

    • AI could potentially reach a level of capability where it can perform all aspects of mathematical problem solving, theory building, and definition formulation.
      I 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.

      Gowers's Weblog Said 26 Jul 2026

      Full record — everyone who holds this →

    • The current system of incentives for mathematical research will be disturbed by AI.
      I think there is simply no point in hoping that our current system of incentives will not be disturbed - it obviously will.

      Gowers's Weblog Said 26 Jul 2026

      Full record — everyone who holds this →

    All 11 beliefs →

What is a korrent?

A korrent is a belief a person has stated in their own words: one sentence stating the claim, backed by a quote and a source, kept at korrents.com.

Under a name here, the quoted block is what they actually said. The korrent beneath it is the claim those words support, in korrents' wording — tap it to see the record, its source, and who else holds it.

Nobody here wrote their own korrents. They are compiled from public statements, and a person can change their mind, which is recorded too.

Where they publish

About the English under a post

Some people here publish in a language other than English. Where they do, this site shows a machine translation beneath the post, in this typeface — the site's own, not theirs.

The post itself is never changed, moved or hidden: what is set in the serif above is exactly what the person published, and it is what to quote them on. A translation can be wrong in ways that matter, especially about tone.

Only the post's own words are translated. A quoted post, a linked article and a belief on korrents.com are left in their original language.