25/11/13 21:04:38.33 4Nc81kvo.net
>>862
>James Douglas Boydという人が
ほいよ
>>22-23より 再録
所詮、James Douglas Boydは、数学者ではないってことだね （＾＾
ｽﾚﾘﾝｸ(math板:764番)
woit氏ブログ
abcコメント2025.10.27
Mochizuki’s response to Boyd’s report:
(Feel free to disregard this, as the response contains ad hominem attacks.)
URLﾘﾝｸ(www.math.columbia.edu)
Two Number Theory Items (and Woody Allen)
Posted on September 20, 2025 by woit
James Douglas Boyd has recently spent a lot of time interacting with Mochizuki and others at RIMS working in anabelian geometry. Material from interviews he conducted are available here (Mochizuki on IUT) and here (on anabelian geometry at RIMS). He also has written a summary of IUT and of the basic problem with the abc proof. These include detailed comments on the issue pointed out by Scholze-Stix and why this is a significant problem for the proof. I’d be curious to hear from anyone who has looked at this closely about whether they agree with Boyd’s characterization of the situation.
There’s also a lot of material the IUT ideas, independent of the problematic abc proof, and about what Mochizuki and others are now trying to do with these ideas.
Update: A commenter points to this from Mochizuki, which denounces Boyd and his report, as well as discussing prospects for formalizing IUT and the abc proof.
URLﾘﾝｸ(jp.linkedin.com)
James Douglas Boyd
CEO/CTO at Sci Research | Ex-Wolfram
学歴
Wolfram Summer School
Postgraduate
Advisor: Stephen Wolfram
The New School
Graduate
University of Michigan
Undergraduate