AI 为何在数学推理上越来越强

大语言模型通过将人类的漫长探索时间置换为推理算力，结合自动化验证器快速剪枝，使原本耗费人类学者数月的研究路径能在数分钟内完成深度优先验证。模型在多智能体编排与提示词反馈框架下，能将大量失败尝试转化为负面提示词，极度擅长概念跳跃少但后续机械推导繁复的数学证明。然而在分支因子极大、缺乏渐进奖励信号的高难度问题上，仍需人类直觉来缩小搜索空间。