RecodeX 重构消息,数学家陶哲轩提出“数学2.0时代已至”的判断,认为人工智能正在改变数学研究的方式。他此前多次公开讨论AI在数学领域的应用前景,指出AI工具已能协助完成部分证明与猜想探索工作。