原文标题： OpenAI新模型Astra曝！攻克10道数学难题、多AI代理协作挑战AGI 原文连结： https://reurl.cc/QNLxyq 发布时间： 2026-08-02 17:10 记者署名： 钜亨网编译 庄闵棻 原文内容： OpenAI 正在开发代号「Astra」的全新模型家族，主打多个人工智慧（AI）代理长时间协 同运作、共同解决高难度问题的能力。这项技术若顺利问世，将是该公司迈向通用人工智 慧（AGI）的重要里程碑，同时也可能成为美国川普政府新版 AI 监管框架上路後，第一 批接受审查的产品。 根据《The Information》引述三名知情人士报导，OpenAI 执行长奥特曼（Sam Altman） 本周亲自前往华盛顿特区，向政策制定者与监管官员展示 Astra 的实际运作。 简报中特别强调该模型能调度多个智能体长时间分工合作，处理从专案管理到 高阶数学证明等复杂任务。 与此同时，OpenAI 也发布一份报告，公布其最先进 AI 系统成功攻克十道长年 悬而未解的数学难题，范围横跨高维几何、程式设计理论、群论、量子复杂性与极值组合 学等尖端领域。 这些问题各自悬置学界超过十年，而 OpenAI 仅耗费约两千美元的运算成本便完成全部求 解。 今年一月加入 OpenAI 的研究员 Lijie Chen 在社群平台上证实，这十道题目的证明正是 出自旗舰模型 Astra 之手。 根据知情人士说法，Astra 将自成一个独立的模型类别，与 OpenAI 现有的 Sol、Terra 、Luna 系列并列。 目前公司内部尚未拍板该模型上市时间，也还没决定其命名方式，究竟会挂牌为外界期待 已久的 GPT-6，或仅作为 GPT-5 系列的子版本（如 GPT-5.7）发布，仍是未知数。 值得留意的是，尽管相关模型已进入测试阶段，其公开发布脚步恐将受制於监管环境。知 情人士透露，Astra 很可能成为首批必须通过川普政府新版 AI 框架审查的产品。 依该框架规定，AI 业者须在模型正式对外发布前，先向联邦政府提交备案。川普政府为 此设下的最後期限，正落在本周末。 依据 OpenAI 公布的内容，Astra 在数学与理论电脑科学领域一举拿下十项重 大成果，包括高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明 、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的 多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数 猜想等极值数猜想等。 其中不少成果直接回应了已故数学家 Paul Erd 留下的经典开放问题。 在具体研究流程上，OpenAI 说明由 Astra 模型负责产出数学论证，人类研究人员则借助 同一模型协助整理论文草稿，最後再将论证转换为 Lean 程式码进行形式化验证。 该公司特别强调，十项突破的数学论证全数由 AI 系统生成，人类研究者的角色仅限於协 助撰写手稿、进行形式验证，并对最终结果的正确性负责。 这并非 OpenAI 首度在数学领域交出成绩单。今年五月，该公司在测试一款尚未发布的模 型时，已让 AI 成功推翻了「单位距离问题」，随後学术界也陆续发表相关後续研究。 随着 AI 系统在科学研究中扮演的角色日益吃重，成果归属争议也随之浮上台面。对此 OpenAI 表示，理解并尊重「莱顿人工智慧与数学宣言」（Leiden Manifesto on AI and mathematics）连署学者的疑虑，同时也强调，若将完全由 AI 生成的证明归功於人 类，不仅扭曲了 AI 系统的实际贡献，也模糊了人类智识工作本身的界线。 值得一提的是，OpenAI 近期同步推出面向学术界的 ChatGPT 专案，向十万名科学家与数 学家开放免费使用其最强模型，并持续以开放性数学难题作为模型开发过程中的测试指标 。 心得/评论： 新模型攻克了十项数学难题! 虽然那些难题有写出来而且都是中文 但是我一个都看不懂....... 有没有数学大神可以解释一下? 看样子AI只会越来越聪明了， 连人类无法突破的东西都可以交给他了! 那...算力需求肯定是不够用的吧? 各位数学超强的股神怎麽看? --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 180.177.56.226 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Stock/M.1785666277.A.6A9.html