AI圈报观点 / 方法普通
AI 为何开始擅长数学：从 OpenAI 反例证明到人与模型的搜索差异
原始标题：AI Is Getting Good at Math. Here’s Why.
内容摘要
Latent.space 作者 Ankit Maloo 分析 OpenAI 与 Anthropic 近期在 Erdős 单位距离猜想、Cycle Double Cover、Navier-Stokes、费马大定理等形式化成果，提出问题难度可用 Gowers 的 2^k + t 提示复杂度和分支因子 b 刻画。