8 月 3 日消息，OpenAI 正式公布其下一代内部大模型 Astra 的阶段性研发成果。实验表明，该模型在没有人类提示介入的情况下，自主推导并给出了 10 项长期未解数学难题的完整证明，论文全文共 249 页。
据 OpenAI 发布的技术报告，Astra 攻克的数学难题均属于开放超过 10 年且长期缺乏进展的领域，涵盖组合数学、代数几何与数论。模型在证明过程中展现出构造复杂辅助函数与跨领域化简的能力，其推导步骤已经过自动化定理证明器 Lean 4 的形式化验证。
OpenAI 表示，Astra 目前仍处于内部安全评估与对齐阶段，暂未面向公众开放。未来该模型的底层架构将被整合进 Codex 与 ChatGPT 的深度推理能力中，辅助科研人员进行符号推导与复杂理论证明。
声明：内容来源公开的各类媒体平台，若收录的内容侵犯了您的权益，请联系邮箱，本站将第一时间处理。