https://science.slashdot.org/story/18/09/20/207227/titans-of-mathematics-cla... Two mathematicians have found what they say is a hole at the heart of a proof that has convulsed the mathematics community for nearly six years. Quanta Magazine:/In a report <http://www.kurims.kyoto-u.ac.jp/%7Emotizuki/SS2018-08.pdf> /[PDF]/ posted online Thursday, Peter Scholze of the University of Bonn and Jakob Stix of Goethe University Frankfurt describe what Stix calls a "serious, unfixable gap" within a mammoth series of papers by Shinichi Mochizuki <https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/>, a mathematician at Kyoto University who is renowned for his brilliance. Posted online in 2012, Mochizuki's papers supposedly prove the /abc/ conjecture <https://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-workshop-by-brian-conrad/>, one of the most far-reaching problems in number theory. Despite multiple conferences dedicated to explicating Mochizuki's proof <https://www.quantamagazine.org/hope-rekindled-for-abc-proof-20151221/>, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 pages, are written in an impenetrable style, and refer back to a further 500 pages or so of previous work by Mochizuki, creating what one mathematician, Brian Conrad of Stanford University, has called "a sense of infinite regress." Between 12 and 18 mathematicians who have studied the proof in depth believe it is correct, wrote Ivan Fesenko of the University of Nottingham in an email. But only mathematicians in "Mochizuki's orbit" have vouched for the proof's correctness, Conrad commented in a blog discussion last December. "There is nobody else out there who has been willing to say even off the record that they are confident the proof is complete." Nevertheless, wrote Frank Calegari of the University of Chicago in a December blog post, "mathematicians are very loath to claim that there is a problem with Mochizuki's argument because they can't point to any definitive error." That has now changed. In their report, Scholze and Stix argue that a line of reasoning near the end of the proof of "Corollary 3.12" in Mochizuki's third of four papers is fundamentally flawed. The corollary is central to Mochizuki's proposed abc proof. "I think the abc conjecture is still open," Scholze said. "Anybody has a chance of proving it."/ -- Honesty is a very expensive gift. So, don't expect it from cheap people - Warren Buffett http://tayek.com/