Follow

Death of Proof (The Pleasures of Failure I): https://theinnerframe.wordpress.com/2018/07/16/death-of-proof-the-pleasures-of-failure-i/

The tale of Horgan's surface, a nonexistent minimal surface whose existence was incorrectly predicted by numerical experiments, named sarcastically after a journalist who incautiously suggested proof was dead. See also http://www.indiana.edu/~minimal/essays/horgan/index.html and https://www.scottaaronson.com/blog/?p=4133; via Carnival of Mathematics 170, https://mathenchant.wordpress.com/2019/06/06/carnival-of-mathematics-170/

Ben Reiniger@bmreiniger@mathstodon.xyz@11011110

"A more accurate computation shows that there still is a gap at 1.01, which we can’t see, or don’t want to see."

Nice.