AI 为什么开始擅长数学

文章探讨了近期大模型在数学领域接连攻克难题的现象，分析了人类与 AI 在解题搜索策略上的根本差异。人类倾向于广度优先并早早剪枝，而 AI 能够凭借测试时计算和自动验证器将多条候选路径推演至终点，从而互补地推动数学难题的解决。