Latent Space· Ankit Maloo·· 10 天前AI 评分62
AI 为何突然擅长数学证明：从提示序列与分支因子看模型解题方式
AI Is Getting Good at Math. Here’s Why.
AI 导读
作者分析 OpenAI、Anthropic 近期在数学开放问题上的进展，提出用提示序列长度 k 和每步分支数 b 解释模型为何能解题。
摘要与补充说明
模型以深度优先方式把每条可行路径走完，配合自动验证器剪掉错误分支，失败尝试再作为负向提示进入下一轮；Navier-Stokes 证明据称动用了 10,000 个智能体和 300B tokens、耗时 88 小时。作者认为模型擅长概念跳跃已完成、剩余工作繁琐的问题，而 k 和 b 都大的问题仍需人类直觉缩小搜索范围。
此来源暂仅展示摘要。