This comment represents the situation around Mochizuki's "proof" completely wrong. Yes, there was a lot of activity around 2012 (seminars, workshops etc.), but it was all wasted effort. No interesting mathematical ideas and tangents came out of it because the proof was just garbage, as conclusively etablished by Scholze & Stix in 2018. So Mochizuki's proof ended up in hundreds of hours of work wasted on nonsense. I don't think this is the type of community engagement that Tao and others have in mind.