The perfectoid-spaces formalization effort worked as Kevin Buzzard hoped and attracted substantial attention.

“Perfectoid spaces is that-- is the first example of that. That stunt works the way Buzzard hopes it will work. It got-- it, it, it captures a lot of people's attention.”