Quoted By:
I heard that SS formulated their own simplified version of IUT in order to parse through what was actually happening and couldnt do important stuff with it
Mochi obviously says the stuff they cant do is a consequence of using simplifications and they should just use the og
On top of that Theorem 3.12 (if i remember the numbers right) is a big stumbling block for og IUT, and people who were independently trying to verify it all found issues with it, so Mochi has rewritten it multiple times
I am of the opinion that if there was an issue with 3.12 then Mochi would have realized in one of the rewritings and been man enough to come out with it
But as of right now, i havent heard anything about it in a few years so idk
