For that particular example, it's now been proved that Mochizuki's proof is incomplete: https://zeli.app/en/story/48963019
replyI guess whether he will eventually fix those gaps and resolve the issues remains to be seen.
I guess whether he will eventually fix those gaps and resolve the issues remains to be seen.