26/07/19 20:39:35.57 nUKgsSja.net
>>341
>Set Aは四年前は
>”2026年のICMでは、望月新一がABC予想解決で招待講演する”
>とかフカしてたが、今はとてもそんな状況ではないと観念したはず
まあ、そう慌てるな
慌てる乞食は貰いが少ない
たしかに、2026年望月新一がABC予想解決で招待講演が無いことは
半年以上前に分っていたことだ
が、今後(2030)がどうなるか? 神のみぞ知る
要するに いまのLean 証明に乗せればいいだけでしょ
頑張れ 望月一派!w
おっと、2030は日本かもねw
はてさて、どうなるか?(^^
(参考)
URLリンク(www.mathsoc.jp)
一般社団法人 日本数学会
ICM2030招致委員会