ICMの数学にIUTはないね
まあ、
山下「まだRiemann予想までの道のりは遠いが」は「Riemann予想まで
あと何歩」連呼よりはまし程度