陶哲轩提出“数学2.0”时代：AI证明增多，数学评价体系面临重审

陶哲轩认为，AI降低了获取数学解答的门槛，证明从稀缺走向泛滥，传统以“谁最先解决问题”为核心的评价方式因此面临挑战。他指出，判断证明正确性与贡献、推动人的理解仍不可或缺，并呼吁评估纳入失败结果和算力成本。只追逐解题指标，可能损害数学研究的长期健康。