OpenAI 新一代模型攻克十项数学难题，署名权引发学界关注

OpenAI 宣布其下一代核心模型 Astra 的内部版本在数学与理论计算机科学领域取得十项突破，解决了多个长期悬而未决的问题。这些成果涵盖高维球体堆积、二进制码、非柔性群、康纳斯刚性猜想等，其中多数问题在过去十年甚至更久未获实质进展。

据估算，若按 Sol API 费率计算，解决这些问题所需的计算成本约 2000 美元。OpenAI 强调，署名权应如实反映成果产生过程：若 AI 生成的证明被声称为人类独立撰写，既抹杀了系统贡献，也扭曲了人类智力劳动的本质。人类研究员协助撰写论文手稿，并在 Lean 语言中完成形式化验证，但数学论证本身由 AI 系统生成。

这一进展引发学界对 AI 在科研中角色与学术诚信的讨论。OpenAI 认为，透明标注 AI 贡献是必要的，未来或推动学术署名规范的更新。相关论文已随公告发布，供研究者审阅与验证。