There are theorems like that. (The classification of finite simple groups, whose proof is famously thousands of pages long, is like that.) But Mochizuki's pro

There are theorems like that. (The classification of finite simple groups, whose proof is famously thousands of pages long, is like that.) But Mochizuki's proof is not like that. He creates a lot of definitions, and it's hard to figure out what the content of the definitions are.