He's not obligated to do anything, but it'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.