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.
Programming is an unnatural act.