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 later confirmed that his work was correct. https://t.co/C1ts464S2Y pic.twitter.com/W16cMBPSAB

— Quanta Magazine (@QuantaMagazine) January 1, 2023

Ce 1 janvier 2023. 18h13.       

Peter Scholze, l'un des mathématiciens les plus respectés au monde, a terminé une preuve importante entièrement dans sa tête et sa gueule de bois. Un assistant de preuve informatisé a confirmé plus tard que son travail était correct.

quantamagazine.org/lean-computer-...