korrents

Our readingWhat is a korrent?

Formalizing math is a translation task, so AI will boost top mathematicians' productivity more than top writers'.

Drawn from what Jamie Brandon said

What this subject means

mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.

What Jamie Brandon actually said

  1. Jamie Brandon Programmer based in Vancouver who writes…
    I expect AI to increase productivity of top mathematicians much more than that of top writers, because formalization is a kind of translation task, it doesn't require much judgement, and as long as it compiles noone needs to read the result.

Added to korrents 20 Sept 2026 · How quotes work · Something wrong? Tell us

Do you hold this korrent?Do you also believe this?

I hold this too

Related korrents

Shared subject first, then similar wording. They may agree or disagree.

See this claim on the map