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

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