AI 为何越来越擅长数学

近几个月，AI 模型接连解决多个长期未解数学问题，包括 Erdős 单位距离猜想的反例、Cycle Double Cover 证明和 Navier-Stokes 证明。文章用提示序列、分支因子和验证器框架解释，LLM 的深度优先搜索让失败成本变低，在分支少或提示步数少的问题上更有优势。