陶哲轩发文论述“数学2.0时代”：AI正在打破证明稀缺性

陶哲轩：数学2.0时代已至！ 菲尔兹奖得主陶哲轩发文指出，随着AI逐步攻克数学难题，数学界正在告别建立在证明稀缺之上的“数学1.0时代”。他探讨了面对泛滥的AI机器证明，如何让技术为人类带来深层理解，并思考了未来数学家在人机协作新范式下的核心定位。