AI 正在变得擅长数学：为什么以及意味着什么

AI 在数学证明领域的突破主要源于三大能力堆叠：模型能链接原始原语、实现自我验证以及通过编排实现负面提示的累积。以单位距离反例为例，模型通过粗粒度搜索和验证机制，在概念跳跃有限的问题上展现出优势，尤其擅长在概念框架已搭建完成后完成繁琐的数学推导；而对于需要大量洞察和广度搜索的问题（如广义相对论），人类凭借直觉仍占优势。