Kevin Buzzard identified logical gaps, mistakes, and unverified assumptions in mathematical literature building upon Peter Scholze's work on perfectoid spaces