Peter Scholze, one of the most respected mathematicians in the world, completed an important proof entirely in his head and hungover. A computerized proof assistant has now confirmed that his work is correct. https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!