・woit blog 2026.5.1

> Kirti Joshi has made available here his concerns and comments concerning the project to formalize the Mochizuki proof.

キルティ・ジョシ氏は、望月証明を形式化するプロジェクトに関する懸念事項と意見をここに公開している。Google 翻訳

・

なお joshiは2021年IUT論文に
基づいているが、望月新一監修加藤文元著IUT本は2021年9月までのカンファレンス「IUTTの拡がり」で公式本だ。