Six months after beginning the work, the team checked the key part of Scholze's proof that he feared might be incorrect.

“And, uh, six mo- So that cut the, that cut the time down by a factor of two. And six months later, we'd, we'd checked the key thing that Peter was-- You know, Peter was worried that the thing was wrong.”

“You know, Peter's like, "No, I think it's right. My co-author thinks it's right, Dustin Clausen. No one else has read it. Maybe it's wrong." So six months later, we'd read it through and was like, "It's okay.”