Well, supposedly he <i>did</i> write a human-checkable proof--it&#x27;s just that the reviewer must be familiar with several of his novel ideas. Like any human-intended proof, there&#x27;s an assumption of foreknowledge.