Automated Theorem Proving in Pure Mathematics
Introduction: The Crisis of Complexity In December 2020, Peter Scholze, one of the world’s most celebrated mathematicians and a Fields Medalist, did something extraordinary. He admitted defeat. Scholze was not stumped by a new problem, but by his own creation. Alongside Dustin Clausen, he ...