korrents

Our readingWhat is a korrent?

Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today.

Drawn from what Terence Tao said

What these subjects mean

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

formal proof Machine-checked mathematics: proof assistants such as Lean, and what changes when correctness is certified rather than refereed.

Leverage

What Terence Tao actually said

  1. Terence Tao
    I think the platform that Lean and other software tools, so GitHub and things like that will allow experimental mathematics to scale up to a much greater degree than we can do now.

Added to korrents 6 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