descriptive claim
The group successfully created a checklist of definitions needed in Lean to define perfectoid spaces.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So it's essentially a punch list, like a construction project. You know, we would need you to define this and then this and this and this, and ultimately we'd get perfectoid spaces. They succeed at that.”38:52Report a misattribution
0.95how strongly it was put, not whether it is true
0.60importance to the conversation
0.98confidence the claim was read correctly