Nobody Had Actually Read It (Kevin Buzzard)

Kevin Buzzard (Imperial College London) on the Liquid Tensor Experiment. At the end of 2020 the Fields medallist Peter Scholze asked whether anyone had carefully read the six pages of technical calculations at the heart of his work with Dustin Clausen. Nobody had, not at Princeton and not at Harvard, and Scholze worried it might be wrong. Six months later the Lean community had checked it line by line, and the machine said it was right. Something had finally read it. From our documentary "Mathematics Just Changed Forever" with Kevin Hartnett, Kevin Buzzard, Jeremy Avigad, Leo de Moura and Paul