A korrentour readingWhat is a korrent?
Excessively AI-polished proofs can remove natural friction and become easy to read but hard to learn from.
Drawn from what Terence Tao said
A private bookmark. Not a position, and never counted.
A korrentour readingWhat is a korrent?
Drawn from what Terence Tao said
Word for word, with the source under each one. They did not write this page.
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 17 Aug 2026 · How quotes work · Something wrong? Tell us
Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.