descriptive claim
The speaker believes Kevin Buzzard has the time and resources to pursue the Lean proof project.
Unresolved speaker · ⚡️Math Olympiad gold medalist explains OpenAI and Google DeepMind IMO Gold Performances · 24 Jul 2025
In their words
The transcript segments this claim was taken from
“And I think he's got time and he got resources.”27:02Report a misattribution
0.90how strongly it was put, not whether it is true
0.60importance to the conversation
0.95confidence the claim was read correctly