“There’s just one catch. The 177-page proof — the result of a decade-long research program — makes significant use of computers. This arguably makes it difficult for other mathematicians to verify it.” https://t.co/UZmBXFK9na https://t.co/ddCylUYJG3

“There’s just one catch.

The 177-page proof — the result of a decade-long research program — makes significant use of computers. This arguably makes it difficult for other mathematicians to verify it.”

https://t.co/UZmBXFK9na https://t.co/ddCylUYJG3

— Warren Myers 🐧🐿 (@warrenmyers)
Nov 23, 2022

from Twitter https://twitter.com/warrenmyers

November 23, 2022 at 04:03AM
via IFTTT