中国数学家将成为全球领导者，只花15年就建成世界最多高铁