数学家 Avigad 谈 AI 时代数学的三条出路

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

AI 根据报道生成 · 47 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。