已收录文章摘要，完整内容可前往原文阅读。
OpenAI公布了一批由内部前沿模型产出的数学研究成果： 722份数学手稿 372组相关成果 覆盖数论、代数几何、实分析、组合数学、理论计算机、数学物理、偏微分方程等多个方向。 部分成果附有可由计算机核验的Lean形式化证明。社区初步核查还发现，其中涉及多个长期未解的开放问题，但具体结论仍需数学界进一步审阅与验证。 OpenAI表示，AI正在从“辅助解题”，走向参与真正的数学研究与发现。 据《连线》报道，今年8月，OpenAI曾召集约40位数学家，讨论一个当时还只是假设...