Sure. But no dozens of mathematicians are stepping up to take the roughly half a year (and novice-like zen) he anticipates it requiring to understand the proof. So if he wants it to happen: do a lecture series, or programmatize the proof, or write an expanded walkthrough book series to explain it in less condensed form. Or just complain to new scientist and see if any new folks decide to pick up the torch, I guess.