Mathematicians showed little interest in the formalization of schemes, regarding schemes as 60–80-year-old mathematics they had encountered in graduate school rather than frontier mathematics.

“He does it and he's met with, like, a collective yawn because people tell him, "Kevin, schemes are old math," right? "Sixty, eighty years old. I knew this when I was in graduate school.”

“This is not frontier math." And Kevin's like, "Okay, that's true. What is frontier math?" And in this period, uh, around 2018, frontier math is this object called perfectoid spaces, which is something that was created by a German mathematician named Peter Schulze, who is today and then as well considered maybe the greatest living mathematician.”