He&#x27;s not <i>obligated</i> to do anything, but it&#x27;s not surprising that other mathematicians are not too eager to retrace his steps to figure out if the proof is correct, given its length and unique notation.