Comment by Reubend

For that particular example, it's now been proved that Mochizuki's proof is incomplete: https://zeli.app/en/story/48963019

I guess whether he will eventually fix those gaps and resolve the issues remains to be seen.