为什么AI开始在数学难题上突破：从提示到验证的搜索范式转变

作者分析OpenAI和Anthropic近期在数学领域的突破，提出用提示数（k）、分支因子（b）和计算成本预测AI解题能力。核心机制是深度优先搜索配合自动验证器，使AI能在概念跳跃已明确但推导繁琐的问题上超越人类。