开门见山：AI 玩转数学的硬核时刻最近几年，AI 的发展简直像开了挂，大型语言模型早就不是只会写写文章、翻翻语言的小能手了，而是直接冲进了数学这种硬核地带。2025 年 4 月，DeepSeek 放大招，推出了 DeepSeek-Prove