已押中 10 … Continue reading 陶哲轩、詹大鹏之后,90 后华人王艺霖再获数学塞勒姆奖
… Continue reading 40 年图灵机难题被业余玩家攻破,陶哲轩评价“软件辅助证明改变数学研究规则”
原标题:改进张益 … Continue reading 改进张益唐证明,陶哲轩「他的证明比我还强」