Our readingWhat is a korrent?
Drawn from what Timothy Gowers said
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.
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.
Where this was said
↗Gowers's Webloggowers.wordpress.com
All 3 korrents from this piecethis one is 1st
Added to korrents 24 Oct 2026 · How quotes work · Something wrong? Tell us
Do you hold this korrent?Do you also believe this?
I hold this tooShared subject first, then similar wording. They may agree or disagree.