A perhaps relevant post from Frank Calegari on Mochizuki’s purported proof of the ABC Conjecture from a few years ago: https://www.galoisrepresentations.com/201

A perhaps relevant post from Frank Calegari on Mochizuki’s purported proof of the ABC Conjecture from a few years ago: https://www.galoisrepresentations.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ https://www.galoisrepresentations.com/2017/12/17/the-abc-con... My favorite quote: “To take an extreme example, if Mochizuki had carved his argument on slate in Linear A and then dropped it into the Mariana Trench, then there would be little doubt that asking about the veracity of the argument would be beside the point.“