descriptive claim
Around 2000, Kevin Buzzard's viral blog helped bring many talented mathematicians to mathematical formalization and made them excited about it.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“To my surprise, you know, around 2000, after, you know, Kevin Buzzard started blogging and, you know, his blog went viral, a lot of very talented mathematicians came to the subject and got really excited about formalization.”1:13:22Report a misattribution
0.90how strongly it was put, not whether it is true
0.65importance to the conversation
0.97confidence the claim was read correctly