[jordigh]

If Mochizuki were able to write a machine-checkable proof, he would also be able to write a human-checkable proof, which is far easier to write.

[kinghajj]

Well, supposedly he did write a human-checkable proof--it's just that the reviewer must be familiar with several of his novel ideas. Like any human-intended proof, there's an assumption of foreknowledge.