AI 模型为何越来越擅长数学

Ankit Maloo 在 Latent Space 撰文分析 AI 模型近来接连解决数学难题的原因。文章用提示序列长度与分支因子衡量问题难度，指出人类倾向广度优先试探并快速放弃，模型则深度优先把每条路径跑完，再由验证器剪枝。