Comment Re:Headline mathematics fail (Score 1) 233
True, but the article describes further pushback from two other (highly prominent) mathematicians, Alexander Beilinson and Thomas Hales.
"We are on the verge: Today our program proved Fermat's next-to-last theorem." -- Epigrams in Programming, ACM SIGPLAN Sept. 1982