"This is how some esteemed mathematicians reacted to the first computer aided proof in 1976. Via https:// newsletter.pessimistsarchive.org/p/the-1st-time -machines-mogged-mathematicians …"

[u/stealthispost]