ARTICLE · 人工智能
AI 的数学能力越来越强，原因何在？—— Latent Space
一语总结近期 AI 在数学问题求解上取得突破，包括推翻 Erdős 的单位距离猜想和证明循环双覆盖问题，表明大语言模型能够通过并行计算与自动验证同时探索多条解题路径，从而有效驾驭复杂的数学图景。
文章探讨了近期 AI 驱动数学发现的激增，重点分析大语言模型（LLM）在解题方式上与人类的不同。文章引入一个概念模型，用所需洞察的数量以及洞察之间的投入来衡量问题难度。文中指出，人类通常采用「广度优先」策略，谨慎挑选并发展思路，而 LLM 则采用「深度优先」策略，并行快速探索多个分支。这一转变使 AI 能够处理复杂度更高、搜索空间更大的问题，推翻单位距离猜想和证明 Navier-Stokes 存在性便是成功例证。
- 问题复杂度与提示序列
数学问题的难度由解决它所需的最短提示序列长度来定义。在单位距离问题中，该序列包括识别反例、推广已知构造以及探索特定数域。这种「柯尔莫哥洛夫复杂度」方法有助于量化求解所需的认知投入。
- 人类与 AI 的搜索模式
人类以「广度优先」方式解题，在投入某个想法之前会花大量时间评估其潜力。相比之下，AI 模型采用「深度优先」方式，并行快速检验多个假设。这使它们能够克服长时间计算带来的「道德风险」，因为它们可以迅速判断哪些分支值得继续。
- 自动验证的作用
AI 成功的一个关键因素是自动验证器的使用。这些系统能即时检查所提解决方案的有效性，让模型无需人工干预即可丢弃错误路径。这一反馈循环使 AI 能比人类研究者更快地优化搜索并聚焦于有前景的方向。
- 未来影响与局限
尽管 AI 在解决特定问题上展现出卓越能力，但它尚不是通用定理证明器。该技术最适合解空间定义明确、所需基本要素已知的问题。随着领域发展，我们可以期待 AI 攻克更复杂的问题，但要达到人类级别的直觉，可能还需要在编排与验证方面取得进一步进展。
AI 的数学能力越来越强，原因何在？—— Latent Space
文章探讨了近期 AI 驱动数学发现的激增，重点分析大语言模型（LLM）在解题方式上与人类的不同。文章引入一个概念模型，用所需洞察的数量以及洞察之间的投入来衡量问题难度。文中指出，人类通常采用「广度优先」策略，谨慎挑选并发展思路，而 LLM 则采用「深度优先」策略，并行快速探索多个分支。这一转变使 AI 能够处理复杂度更高、搜索空间更大的问题，推翻单位距离猜想和证明 Navier-Stokes 存在性便是成功例证。
文章金句
"证明的难度在于，让专家重建证明所需的最短提示序列有多长。
"LLM 让我们能够用时间换取算力，并帮助我们在更短的时间跨度内攻克更多问题。
"模型很快浏览了各种想法，但当它触及关键想法时，便相当有条不紊地聚焦于证明。