加藤和也氏の講義録 cor.3.12について (後に削除された.)

IUT論文査読中

・0476 １３２人目の素数さん
2018/04/01 08:56:03
2ページ目に書いてあるな

Frank Calegari says that even if the papers get accepted, he will not believe the proof just yet.
His blog post on the subject mentions a Japanese reader―I am that reader.

Peter Scholze, who everyone thinks is the greatest mathematician of this generation, says he cannot deduce 3.12 (which is the ABC conjecture,
in paper #4) from 3.11 (a summary of the first 3 ABC papers) in Mochizuki’s papers.
Koshikawa had a similar problem, and when he asked Mochizuki about it,
the latter responded that the deduction is self.evident.
My apologies for not being able to understand any of this―I can only report on these happenings.

self.evident. 自明