I find his submission very valuable. It is not only digestible for humans but also summarizes the proof, explains what humans were missing, and highlights the m

I find his submission very valuable. It is not only digestible for humans but also summarizes the proof, explains what humans were missing, and highlights the methods that could help with stronger and similar conjectures (see his comments to the post).