descriptive claim
Perfectoid spaces are state-of-the-art objects in mathematics.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Perfectoid spaces are truly state-of-the-art objects in, in math. And Kevin says, "All right, if we can formalize them, if we can show Lean is capable, capable of expressing perfectoid spaces, we'll have indisputable proof that it can do anything."”38:21Report a misattribution
0.95how strongly it was put, not whether it is true
0.70importance to the conversation
0.98confidence the claim was read correctly