ブンゲンの発言もIUT擁護は消えていって検証力を示したい感じ
IUTが全否定されたら
「LEANの衝撃！数学者がだれも検証できなかった証明を現代AIが解決」
で本書いてまた儲けられる