What Grant Sanderson thinks about formal proof

@grant-sanderson · 25 positions · On ppll ↗

Mathematics explainer, creator of the YouTube channel 3Blue1Brown.

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.

Filter formal proof · Newest first

Topic

All 25 mathematics 14 creativity 2 AGI 1 AI agents 1 AI slop 1 AI writing 1 benchmarks 1 education 1 formal proof 1

4 more topics

Google 1 LLMs 1 reinforcement learning 1 writing 1

Sort

Newest Oldest

Only Grant Sanderson on formal proof. See everyone on formal proof

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

1 position so far — this page is not yet offered to search engines.

30 Jun 2026

Our readingFormalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it.

Their wordsAnd so having anything that's able to give you that green check mark that says even if this is going to be complicated to understand, even if it's going to be a pain, you at the very least know it is correct. Like every other field would kill for that, right?

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