In November 2020, Fields Medalist Peter Scholze contacted Kevin Buzzard to request formal verification of Theorem 8.4 in an analytic geometry paper

The systematic study of the natural world through observation, experiment, and theory.

General research and information gathering from multiple sources