AI正在进化出数学品味

本期内容围绕 OpenAI 研究人员与主持人关于 AI 在复杂数学推理方面突破的讨论。研究者指出，Astra 等模型已超越简单检索，开始真正解决问题，例如证明球体堆积的新结果、推翻关于 sofic 群的长期猜想。\n\nAI 的独特优势是“锲而不舍”：它能够执行繁琐的证明，并探索人类数学家可能过早放弃的逻辑路径。AI 擅长数学判断和搜索树剪枝，但更像协作伙伴，而不是人类直觉的替代品。\n\n未来，AI 有望加速应用数学，让复杂成果更容易获得，并让数学界把更多精力投入最深层的未解之谜。