RT @QuantaMagazine@twitter.com

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. quantamagazine.org/lean-comput

🐦🔗: twitter.com/QuantaMagazine/sta


"Scholze began the proof on a Monday. He worked entirely in his head."

"The thought of losing touch with everything he’d built up in his mind was more than he wanted to consider."

"But afterward, he wasn’t certain that what he had done was correct."

Dude... Just use a pencil!

Sign in to participate in the conversation
Mastodon @ skewed.de

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!