陶哲轩：数学2.0时代已至！

陶哲轩指出，AI正在让数学证明变得泛滥，数学1.0时代依赖证明稀缺性的评价体系正面临冲击。他强调，即便AI能生成正确证明，人类仍需判断其与现实目标的一致性，并重视解释、评审和知识整理。他呼吁减少对抢先解题的强调，同时推进开放数学模型计划，以促进AI与数学研究的可持续结合。