查看原文：陶哲轩认为数学 2.0 时代应降低解决难题的核心地位 - 奇客Solidot–传递最新科技情报