Have any of the turbo nerds verified this shit yet?
>uses nazi mathematics to single handedly create a new branch of research
>oh and btw proves abc as a lemma in his theory.
Mochizuki is truely /ourguy/. He is basically the Newton/Leibniz of our time.
>>9065084
>Θ ±ell NF-Hodge theaters
Mochizuki updated His Webpage this Month
http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
However since there are very few Math PhDs that can understand this I can't even ...
>>9065084
Couldn't he just formalize his own proof and feed it through a proof checker?
There is a little-known proof method by the name of "Proof by Intimidation" where one's reputation supersedes the validity of the proof.
>>9065084
Afaik in 2015 a few guys went to Kyoto and stayed there for like 6 months and verified the correctness of the proof, or at least they couldn't find any mistakes.
Problem is, even the 3-4 guys in this world who "understood" it could not explain to other guys how or why it works, other than there's no gap in it.
(Ironically perhaps for the same reason Mochizuki can't explain it, a top mathematician literally still needs to spend too much time learning all these new things outside of his research interest).
We probably need a few generations for these ideas to percolate, wait for someone to use this theory to do something else. and perhaps there will be a more comprehensible version. They all know this. I think Mochizuki's students are the ones to do this job. They will study other fields and find some connections, because the other way around (people from other field to penetrate this theory) seems hopeless.
>>9066078
>Couldn't he just formalize his own proof and feed it through a proof checker?
Formalising proofs is incredibly difficult.