> the consensus among the mathematical community is that Mochizuki probably doesn't have a proof If that's the consensus (and I don't think it is, it's probabl

> the consensus among the mathematical community is that Mochizuki probably doesn't have a proof If that's the consensus (and I don't think it is, it's probably what mathematicians under influence of cognitive dissonance think the consensus is), then it is sadly not based on empirical evidence, which is that 4 other people studied the proof and certified it.