Formalizing perfectoid spaces exemplifies building a narrow extension from foundational graduate-level mathematics to the far frontier of mathematics.

“Then there are these extreme spikes from grad math to the far frontier of the field, which is like extremely far from graduate school math. Perfectoid spaces is one of the first examples of we have this foundation, now we're gonna build this like narrow skyscraper to the frontier.”