OpenAI 发布 Astra 模型，解决十个数学难题
原标题：OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions
AI 摘要
OpenAI 发布了其“下一代主要模型”Astra，该模型系列旨在通过协调多个智能体处理长时间运行的复杂任务。OpenAI 表示，Astra 的内部版本解决了数学和理论计算机科学中的十个长期未解问题，相关证明已通过 Lean 形式化验证。该模型将首次接受美国政府的审查流程，CEO Sam Altman 已在华盛顿展示。
正文节选
OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions Key Points - OpenAI is working on a new AI model family called "Astra," built to handle long-running tasks and complex problems by coordinating multiple agents working together. - CEO Sam Altman has already showcased Astra in Washington, D.C. The models are currently being tested and will be the first to go through a planned U.S. government review process that requires official approval before public