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