I first read about his proof a year or two ago.  I&#x27;m surprised so little progress has been made.  Is there no formal collaborative effort in trying to verify his proof?<p>This seems like an opportunity to me.  Host the proof (and ones like it) and allow commentators to annotate and explain parts, and then replace all the ambiguous parts with formal explanations.