OpenAI 公布十项数学与理论计算机科学进展

8 月 1 日，OpenAI 在官网确认下一代模型系列名为 Astra（拉丁语「群星」），并公布其内部版本在数学与理论计算机科学上取得十项成果。研究员 Sébastien Bubeck 同步发布了逐题说明。Astra 尚未公开发布，这份公告没有产品发布，内容是一篇 249 页的论文、一份逐题推理说明（媒体报道约 62 页）与十份 Lean 4 形式化证明。

[详细公告链接](https://openai.com/zh-Hans-CN/index/ten-advances-in-mathematics/)

[另一链接](https://2aran.com/s/FXtDjPN)

---

原文链接：[点击查看](https://www.v2ex.com/t/1232675)