AI Is Getting Good at Math. Here’s Why.

AI 数学能力的进步，被 Ankit Maloo 归因于模型能快速推进候选思路，并结合并行智能体、验证器和失败反馈缩小搜索空间。他用洞见数量、洞见之间的工作量及搜索分支数解释问题难度，认为模型更适合完成概念突破较少、后续计算复杂的任务。文章强调人类判断与模型探索的互补，也主张公开失败路径，以帮助数学研究积累理解，而不只公布最终答案。