数学的未来：AI 时代数学家该如何追求数学理解

数学家 Jeremy Avigad 在 AI 已能轻松生成过去可发表成果的背景下，提出数学在 AI 时代的三条出路：解决更难的问题、思考更大的问题，以及重新定义数学理解本身。他指出当前基础模型虽读过全部数学文献且不知疲倦，但靠强化学习拼接已有技巧，尚缺创造力与高层策略。