2026年10月6日，OpenAI在GitHub公开了由内部未发布前沿模型生成的722篇数学手稿（372个成果族）。然而不到24小时，涉及Hodge猜想与Kuga–Satake对应的三篇手稿被撤回，原因是主文中"稳定迹"（stabilization-trace）论证存在符号错误——标准尖点两个分支源取向相反，每个反向迹的符号应为-1而非+1，导致代数性定理未被实际证明，两篇衍生成果连带失效。另有14篇被修订、13篇因依赖关系更新引用。 模型能在抽象层面构造出貌似合理的代数几何论证，却在符号约定这一"细节"上出错，这反映出当前大模型在数学推理中的何种问题？

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：资讯 / 知乎热榜
  • 发布时间：2026/10/8 21:20:20