Just because his proof is long, convoluted, and cryptic doesn&#x27;t mean that there won&#x27;t be a simpler proof down the road. Maybe some of the tools just haven&#x27;t been developed yet. Look for example at how the Greeks and Romans struggled with mathematical problems many of which are today easily solvable in high school because we have advanced techniques and a positional notation for numbers.<p>As far as I understand it, a lot of the problem stems from the fact that Mochizuki is quite a hermit. And that&#x27;s a problem if you want others to understand what you have done for years.<p>This workshop was crucial that it showed several people that trying to understand the proof could be a worthwhile task.