Re:Mathematicians welcome computer-assisted proof in ‘grand ...
by kungito on Saturday June 19, 2021 @12:44PM
(#27562037)
What's the name of this point? It's really hard to find any progress on this topic regarding Mochizuki other than some popular articles without any content.
[ Parent
| on HN ]
Re:Mathematicians welcome computer-assisted proof in ‘grand ...
by deadbeef57 on Saturday June 19, 2021 @12:47PM
(#27562071)
See https://www.math.columbia.edu/~woit/wordpress/?p=10560, which links to a technical write-up by Scholze and Stix about what they think is the issue with Mochizuki's proof.
Woit's blogpost also gives a bit more links, including a response by Mochizuki.
Re:Mathematicians welcome computer-assisted proof in ‘grand ...
by bryan0 on Saturday June 19, 2021 @02:24PM
(#27562971)
The paper which everyone linked to when the discussion was going on now 404s, so here is a new link: https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture...
The point in the proof where scholze and stix show it fails is “IUTT-3, Corollary 3.12”