OpenAI 宣布其下一代模型 Astra 的内部版本在十个长期未解决的数学与理论计算机科学问题上取得新成果，涵盖高维球体堆积、非索菲克群存在性、Connes 刚性猜想反证、算术电路下界、量子并行重复、最近向量问题硬度及多色 Ramsey 数等。这些问题至少十年未见主要进展，多数更久。模型生成论证的 token 成本约为 2000 美元。
论证由人类与模型协作整理成论文，并在 Lean 中形式化验证。OpenAI 坦承数学论证本身由 AI 生成，人类负责整理与形式化，主张归属应如实反映结果来源。公司希望数学界深入审视这些成果，同时强调在 AI 成为研究协作者的转型期，广泛获取至关重要。
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
暂无评论内容