グロタンディークが構想していたものが全て完成して正しかったら、
どう数学としては進展するんでしょうか?