We've updated the link from https://www-wired-com.cdn.ampproject.org/c/s/www.wired.com/2017/04/elusive-math-proof-found-almost-lost/amp/ https://www-wired-com.c

We've updated the link from https://www-wired-com.cdn.ampproject.org/c/s/www.wired.com/2017/04/elusive-math-proof-found-almost-lost/amp/ https://www-wired-com.cdn.ampproject.org/c/s/www.wired.com/2..., which points to this original source.