A pop-science journalist known as James Douglas Boyd has recently spent a lot of time interacting with Mochizuki and others at RIMS working in anabelian geometry. He published his interviews with Mochizuki a few weeks ago.However, esteemed Professor Mochizuki Shinichi is NOT AT ALL happy with the results, writing>It is difficult for me to recall any time in my career as a mathematician when I experienced a comparable level of overt fraud/duplicity/charlatanism in a professional situation, and it has left me in a state of [math]\textit{deep shock}[/math].https://www.kurims.kyoto-u.ac.jp/~motizuki/IUT-report-2025-10.pdfIn particular, he claims the J.D. Boyd he interacted with was "nothing more than a cynical work of fiction" (see pic rel).Mochizuki further emphasizes EMS Code of Practice (EMSCOP) and argues journalism/story-telling (and some preprints) lack the professional accountability apparatus of peer-reviewed mathematics. Boyd’s work violates prior assurances and democratic norms (rule of law, due process, burden of proof).He then comments on the Scholze-Stix (SS) manuscript:- The SS manuscript is unpublished, contains no precise statement or proof relating its simplified set-up to IUT- SS declined further discussion after 2018; calls it a “mystery” why anyone asserts a logical relationship between their simplification and IUT- SS explicitly did not contest IUT’s multiradial representation (IUT III, Thm 3.11); rather, they claimed no path to diophantine consequences.
>>16829021Holy shit, this whiny faggot should stop complaining and get a life. No one even cares now if you proved a + b = c dude.
Mochizuki mentions Lean-style computer formalization as the "best hope" for "bridging the gap between the social/political dynamics surrounding social acceptance of mathematical (or, more generally, scientific) ideas and mathematical truth," while noting it won’t persuade those insisting the circle is a square, formally or otherwise ("faith en masse").He writes:>In this context, I am reminded of the (perhaps humorously anachronistic) phenomenon of “flat-earthers”, as well as the following stories that I heard when I was a graduate student in the late 1980’s to early 1990’s at Princeton University:>· some local government in the United States of America passed a law to the effect that, within its local jurisdiction, π (i.e., the length of the cirumference of a circle of unit radius) is equal to 3;> · some survey of the general population of the United States of America found that a surprising percentage of the population believe that one-third is greater than one-half (i.e., “ 1/3 > 1/2 ”), that is to say, since three is greater than two.>In either of these two cases, it seems highly unlikely that presenting a Lean-style computer formalization of the irrationality of π or of the inequality 1/2 > 1/3 to the people involved would result in a change in the minds or hearts of these people.
Below are the specific technical rebuttals to J.D. Boyd's article:>On alleged intrinsic contradictions (FA1)“There is no contradiction in the set-up of the log-theta-lattice of IUT.” Claims that Lean is “fundamentally incapable” of checking this are “entirely inconceivable,” and the idea that validity is “subjective” is “entirely absurd.” >On labels/universes (FA2)The quote “provocative/sensationalist/exoticist/apocalyptic narrative” about “suspending contradictions with labels” has “absolutely nothing to do” with reality. IUT uses standard labels for distinct objects; universes appear precisely as in SGA1 and derived functors; given Lean4’s handling of SGA1/derived functors, there is “no fundamental obstruction whatsover” to formalizing IUT. It will take years; so did everything else of substance.>On “vulnerability” to label-removalThe critique “reflects a fundamental misunderstanding” since “no nontrivial set-theoretic mathematical structure … is ‘robust’ … to ‘arbitrary label-removals’.” Identifying 2 and 3 in N does wonders for arithmetic; alas, not the good kind.>On set-theoretic paradoxes (FA3)“It must [be] stated categorically” that prime-strips/theta-links do not trigger paradoxes; the issue is incompatibility with additive structure, leading to multiplicative or group-theoretic frameworks. “[math]\in[/math]-loops” are philosophical analogies.>On splitting off an “anabelian core” from abcAttempts to separate the anabelian/Teichmüller part from the abc application are “mathematically meaningless,” indeed “nothing more than a meaningless self-contradiction.” It is, inconveniently, the same mathematics.>On taste-policing and ersatz IUTsThe practice of rewriting IUT to please outsiders is “particularly pernicious,” producing “logically unrelated fabricated versions … entirely devoid of any meaningful mathematical content.”
based mochizuki as always
mochizuki should start a podcast or somethingI bet he has no idea of how many autists love him around the world
it will take asi to redeem mochizuki
>>16829028>>· some local government in the United States of America passed a law to the effect that, within its local jurisdiction, π (i.e., the length of the cirumference of a circle of unit radius) is equal to 3;How the fuck is the US a real country?
>>16829075Lol dude's credibility just dropped from a small fraction to zero after publishing that.
>>16829075>How the fuck is the US a real country?It isn't. It's a complete Masonic fabrication. It has no people or history to speak of.
>>16829088
This might be Mochizuki's best schizopost so far, he's calling out every single critic of his. Pic rel is him seething over this blog posthttps://thehighergeometer.wordpress.com/2021/11/22/an-exercise-in-colimits/
>>16829047imagine mochizuki debating wildberger on 0.999...!=1
Based Mochizuki as usual
>>16829021Mochizuki WON
>>16829021Don't talk to journos, Mochizuki-sama - idk any IUTT but I do know you can never hate them enough.
>>16829021Never trust journalists, especially pop basedence ones
Sorry but how did Mochizuki fall for this? As far as I can tell, J.D. Boyd is some weeb programmer that lives in Japan with no mathematical background
>>16829456I can understand Mochizuki's frustration when the pop sci articles on IUTT are literally pic relhttps://www.popularmechanics.com/science/math/a64984787/iut-alien-language/
>>16829021honestly based, wish pop sci journos would get called out on their clickbait trash more often
