Jeremy Avigad 谈 AI 时代数学的未来

The Future of Mathematics

数学家 Jeremy Avigad 在客座文章中提出，AI 时代数学的核心问题不是是否还需要数学，而是如何继续追求数学理解。他指出当前基础模型已读遍全部数学文献且不知疲倦，智能体集群能靠穷举变体拼凑出开放问题的解，但这类解法多是对现有技巧的组合，未必能带来真正的洞察与创造力。他给出三条路径：解决更难的问题、思考更大的问题，以及把数学视为严谨推理与交流的文化。