26/08/03 21:03:46.54 tdy2H9Cz.net
さあさあ
望月先生、もうひと頑張りですよ
下記 April 9th 2026 のpdfでは、もうすぐって感じで書かれていましたね
” [JOINT WORK IN PROGRESS WITH Y. HOSHI, G. YAMASHITA, Y. YANG, ... ]”
か。４人で力をあわせれば、なんとかなります
頑張って下さい！！！
(参考)
URLﾘﾝｸ(aitpm.github.io)
Workshop on AI and Theorem Provers in Mathematics
University of Exeter
April 9th 2026
10:45-11:45 Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
URLﾘﾝｸ(aitpm.github.io)
ON THE FORMALIZATION OF IUT: A PRELIMINARY PROGRESS REPORT
[JOINT WORK IN PROGRESS WITH Y. HOSHI, G. YAMASHITA, Y. YANG, ... ]
Shinichi Mochizuki (RIMS, Kyoto University)
April 2026