高文院士：一万卡不算大，百万卡才是目标