&gt; the consensus among the mathematical community is that Mochizuki probably doesn&#x27;t have a proof<p>If that&#x27;s the consensus (and I don&#x27;t think it is, it&#x27;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.