标签：Lean 共 1 条

陶哲轩预言“数学2.0”：AI辅助证明重塑数学研究范式

菲尔兹奖得主陶哲轩提出“数学2.0”愿景，认为AI与大模型将深刻改变数学证明的方式，人类数学家将从手工推导者转型为“证明的指挥者”。本文梳理其核心观点、实验进展与学界反响，展望人机协作下数学研究的未来图景。