>>341
>Set Aは四年前は
>”2026年のICMでは、望月新一がABC予想解決で招待講演する”
>とかフカしてたが、今はとてもそんな状況ではないと観念したはず

まあ、そう慌てるな
慌てる乞食は貰いが少ない

たしかに、2026年望月新一がABC予想解決で招待講演が無いことは
半年以上前に分っていたことだ
が、今後(2030)がどうなるか？ 神のみぞ知る

要するに いまのLean 証明に乗せればいいだけでしょ
頑張れ 望月一派！ｗ

おっと、2030は日本かもねｗ
はてさて、どうなるか？（＾＾
(参考)
https://www.mathsoc.jp/section/icm2030bid/
一般社団法人　日本数学会
ICM2030招致委員会