{"id":13895,"date":"2024-03-25T14:32:48","date_gmt":"2024-03-25T18:32:48","guid":{"rendered":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=13895"},"modified":"2024-04-02T14:31:32","modified_gmt":"2024-04-02T18:31:32","slug":"a-report-from-mochizuki","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=13895","title":{"rendered":"A Report From Mochizuki"},"content":{"rendered":"

I don’t really have time to write seriously about this, and there’s a very good argument that this is a topic anyone with any sense should be ignoring, but I just can’t resist linking to the latest in the abc saga<\/a>, the REPORT ON THE RECENT SERIES OF PREPRINTS BY K. JOSHI<\/a> posted yesterday by Mochizuki.<\/p>\n

To summarize the situation before yesterday, virtually all experts in this subject have long ago given up on the idea that Mochizuki’s IUT theory has any hope of proving the abc conjecture. Back in 2018, after a trip to Kyoto to discuss in depth with Mochizuki, Scholze and Stix wrote up a document explaining why the IUT proof strategy was flawed<\/a>. Scholze later defended this argument in detail<\/a> and as far as I know has not changed his mind. Taking a look at these two documents and at Mochizuki’s continually updated attempt to refute them<\/a>, anyone who wants to try and decide for themselves can make up their own minds. All experts I’ve talked to agree that Scholze\/Stix are making a credible argument, Mochizuki’s seriously lacks credibility.<\/p>\n

The one hope for an IUT-based proof of abc has been the ongoing work of Kirti Joshi, who recently posted the last in a series of preprints<\/a> purporting to give a proof of abc, starting off with “This paper completes (in Theorem 7.1.1) the remarkable proof of the abc-conjecture announced by Shinichi Mochizuki…”. My understanding is that Scholze and other experts are so far unconvinced by the new Joshi proof, although I don’t know of anyone who has gone through it carefully in detail. Given this situation, an IUT optimist might hope that the Joshi proof might work and vindicate IUT.<\/p>\n

Mochizuki’s new report destroys any such hope, simultaneously taking a blow-torch to his own credibility. He starts off with<\/p>\n

.. it is conspicuously obvious<\/em> to any reader of these preprints who is equipped with a solid, rigorous understanding of the actual mathematical content of inter-universal Teichmüller theory that the author of this series of preprints is profoundly ignorant<\/strong> of the actual mathematical content of inter-universal Teichmüller theory<\/em>, and, in particular, that this series of preprints does not contain<\/strong>, at least from the point of view of the mathematics surrounding inter-universal Teichmüller theory, any meaningful mathematical content whatsoever<\/strong>.<\/p><\/blockquote>\n

and it gets worse from there.<\/p>\n


\nUpdate<\/strong>: A commenter points to a response from Joshi here<\/a>.<\/p>\n

Update<\/strong>: Scholze has a comment on MathOverflow<\/a> indicating precisely where Joshi’s attempted proof runs into trouble.<\/p>\n

Update<\/strong>: Mochizuki and those around him award themselves \\$100,000<\/a> (this is the IUT Innovator Prize described here<\/a>).<\/p>\n","protected":false},"excerpt":{"rendered":"

I don’t really have time to write seriously about this, and there’s a very good argument that this is a topic anyone with any sense should be ignoring, but I just can’t resist linking to the latest in the abc … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[33],"tags":[],"class_list":["post-13895","post","type-post","status-publish","format-standard","hentry","category-abc-conjecture"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/13895","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=13895"}],"version-history":[{"count":10,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/13895\/revisions"}],"predecessor-version":[{"id":13906,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/13895\/revisions\/13906"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=13895"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=13895"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=13895"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}