十年未解难题:OpenAI 公布数学与理论计算机十项新进展,token 成本约 2000 美元

IT之家报道了 OpenAI 官方公布的十项数学与理论计算机科学新进展,相比英文原文,这条中文报道更聚焦“署名权”表态与十项成果的具体清单,可作为同题材另一条报道的补充细读。

• OpenAI 明确强调署名应如实反映研究产生过程:证明本身由 AI 系统生成,人类研究员只负责撰写手稿、在 Lean 中做形式化验证并对正确性负责,不能把 AI 的贡献包装成人类独立成果
• 十项成果具体覆盖高维球体堆积、二进制与球面码、非柔性群、康纳斯刚性猜想证伪、算术电路复杂性(n⁴/log n 量级下界)、量子平行重复、最近向量问题近似困难度、埃尔哈特体积猜想、多色拉姆齐数(解决 Erdős 问题 183)、极值数猜想(解决 Erdős 问题 146、180)
• 成果出自 OpenAI 下一代核心模型 Astra 的内部版本,按 Sol API 费率折算总 token 成本约 2000 美元(约合 1.35 万元人民币),成本之低是这条新闻的最大冲击点
• 报道特别点出这些问题此前“至少十年、多数情况下更久”未获实质进展,说明 AI 攻克的不是边缘小问题,而是数学界公认的硬骨头
• 当“AI 解出十年悬案”的成本被量化到几千美元,业界更该关注的不是单次秀肌肉,而是这种攻关方式能否规模化复制到更多悬而未决的科研问题上。

本内容由 AI 生成，仅供参考，请注意甄别