陶哲轩破解数十年前几何猜想，用反例证明它在高维空间不成立