korrents

What Grant Sanderson thinks about mathematics

@grant-sanderson · 23 positions · 0 changes of mind

Mathematics explainer, creator of the YouTube channel 3Blue1Brown.

Everything they publish, on ppll ↗

Grant Sanderson did not write this page.

We collected these quotes from things they published elsewhere, and every quote links to where it was said. They have no account here and have not endorsed this site. Quotes are word for word; the short line under each one is our own restatement, not their wording. Their own site. Is this you? Claim it or ask us to remove it. Or tell us what is wrong here.

12 dated positions, 2026, in their own words. Our reading of what Grant Sanderson has said — not written or endorsed by them.

  1. Our readingIf AI can build the new theory that crystallises how to think about a subject, it would be surprising if that capability did not spill into the rest of the economy.

    Their wordsthat like if it's capable of building mountains uh that are, you know, the correct new theory that like crystallizes how we should be thinking about a subject, that's just such a level of intelligence that then it starts to feel like it would be surprising if that didn't permeate into other aspects of the economy besides like just the mountain building for math itself.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 1st of 23 in this recording

    Interesting

  3. Our readingAI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools.

    Their wordsI think the way that you'd measure conjecture generating ability is going to be more subjective on like that tone shift where um it'll be mathematicians saying they're not just using it to like solve their problems, but as they step back and decide what their research field should even be that a conversation with such and such model like was genuinely helpful for that.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 2nd of 23 in this recording

    benchmarks

    Interesting

  5. Our readingGroup theory took a hundred years to travel from one man's hunch to something the mathematical community agreed was good, passing through many heads on the way.

    Their wordswhat makes the GAWA theory such an interesting example is you have um literally this 100-year segment of like an idea that like flows through many different people's heads before it like settles into something that the math community like agrees is good.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 3rd of 23 in this recording

    Interesting

  7. Our readingA proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.

    Their wordsUm even if it's proven just like there is a difference between proof and explanation.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 5th of 23 in this recording

    Interesting

  9. Our readingHe used to think explaining AI's results would be the mathematician's remaining job; he now expects AI to explain better than most humans, so that is not what is left.

    Their wordsI kind of suspect that actually they'll also be like quite good at doing that and probably just like better than most humans are at like doing the explanation half and distilling half and that's actually not what's left for the mathematicians is like digesting and and explaining what was going on.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 7th of 23 in this recording

    Interesting

  11. Our readingThe mathematician's role will shift towards curation — deciding which ideas are worth displaying — rather than proving or explaining.

    Their wordsSo my role and arguably that of like other mathematicians might actually just shift subtly into that curation direction of what ideas are are worth displaying.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 9th of 23 in this recording

    Interesting

  13. Our readingMost of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw.

    Their wordsbut that's my guess on what most of the useful progress uh from these models will look like like in the next five years is just really filling in that landscape of like connections that you can draw if you're an expert in multiple fields.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 10th of 23 in this recording

    Interesting

  15. Our readingMathematics alone can be left running: point a prover at a formal library, walk away for ten years, and there will be something there when you come back.

    Their wordsThat's a very unique thing that math has that nothing else has where you could press go and then just like just just poor compute at it and like look away for 10 years and then come back and say like what do you have and there's there's going to be something, right?

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 13th of 23 in this recording

    Interesting

  17. Our readingA stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.

    Their wordsIt becomes insufferable like as a mathematician because you you would basically be like I'm every single time I see one of these I kind of don't know if it's worth my time even if 99 out of 100 of them are right.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 14th of 23 in this recording

    AI writing

    Interesting

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

    Their wordsAnd 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.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 16th of 23 in this recording

    Interesting

  21. Our readingAnyone choosing a career should work out where the money comes from and what value they add; asking the question at all puts you ahead of your peers.

    Their wordsKnow where the money is coming from. Know where you plug into that. And like if you're just asking those questions, you're actually already like steps ahead of all of the other like fledgling perspective mathematicians.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 22nd of 23 in this recording

    Interesting

  23. Our readingIt would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it.

    Their wordsbut it would be a little bit disappointing and a little bit surprising if there weren't over the next 5 years like, uh, economically valuable improvements that were made that were directly like referable to the like AI progress in math.

    ↗Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?youtube.com 23rd of 23 in this recording

    Interesting