News for hackers. Stuff that matters.
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”