8 月 1 日，OpenAI 在官网确认下一代模型系列名为 Astra （拉丁语「群星」），并公布其内部版本在数学与理论计算机科学上取得十项成果。研究员 Sébastien Bubeck 同步发布了逐题说明。Astra 尚未公开发布，这份公告没有产品发布，内容是一篇 249 页的论文、一份逐题推理说明（媒体报道约 62 页）与十份 Lean 4 形式化证明。
https://openai.com/zh-Hans-CN/index/ten-advances-in-mathematics/
这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。
V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。
V2EX is a community of developers, designers and creative people.