korrents

A korrentour readingWhat is a korrent?

Lean is overrated as the reinforcement-learning environment behind recent AI progress in mathematics, but it should not be written out of the story.

Drawn from what Grant Sanderson said

Subjectmathematics

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

Interesting
A private bookmark. Not a position, and never counted.

What Grant Sanderson actually said

Word for word, with the source under each one. They did not write this page.

  1. Grant Sanderson

    Mathematics explainer, creator of the YouTube channel 3Blue1Brown

    And so I think you are right that lean is maybe overrated on the side of the importance of it being used as a VR environment for any kind of like just progress in math generally. But I I I definitely wouldn't write it out of the story.

    Where this was said

    Watch from 1:06:27 plays here

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com

    video · 1h 33m · spoken · machine transcript

    All 23 korrents from this recordingthis one is 16th

Added to korrents 30 Jun 2026 · How quotes work · Something wrong? Tell us

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

Sign in to record that you hold this, with a confidence number of your own.

Related korrents

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.

See this on the map →