Our readingWhat is a korrent?
Drawn from what Terence Tao said
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.
Mental modelTrade-offs
An excessively AI-polished proof may sand away both the "artificial" friction (typos, awkward phrasing, disorganization) and the "natural" friction, leaving a text that is easy to read and hard to learn from.
Where this was said
↗Mathematics in the age of AIarxiv.org
All 5 korrents from this piecethis one is 4th
Added to korrents 9 Sept 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.