回放频道 -皇家娱乐

openai正准备推出一个名为"astra"的全新模型家族，其核心能力在于驱动多个ai智能体长期协同运作以解决高难度问题。这一进展标志着该公司在通用人工智能路线上迈出实质性一步，同时也将成为特朗普政府新版ai监管框架落地的首批试验案例。 科技媒体the information援引三位知情人士透露，openai首席执行官sam altman本周亲赴华盛顿特区，向政策制定者和监管机构演示了astra模型。openai重点展示了该模型让多个智能体协同工作、长时间处理复杂任务的能力，应用场景涵盖项目管理乃至高阶数学难题求解。 与此同时，openai发布了一份报告，详述其最先进ai如何成功解决了十道此前从未被攻克的数学难题。这批问题横跨高维几何、编码理论、群论、量子复杂性及极值组合学等多个前沿领域，每道题的学术积压时间均超过十年，而完成全部求解的算力成本仅约2000美元。 据上述知情人士介绍，astra将作为一个独立的模型类别存在，与openai现有的sol、terra和luna并列。目前尚不清楚openai计划何时正式发布astra，公司内部也尚未决定该模型将被标记为gpt-6，还是gpt-5系列中的一个子版本（如gpt-5.7）。 尽管相关模型已进入测试阶段，其正式发布节奏将受到外部因素制约。据一位知情人士表示，astra系列模型预计将成为首批须经特朗普政府新版ai框架审查的产品——该框架要求ai公司在向公众发布模型前，须事先向联邦政府提交备案。特朗普政府为该框架设定的最终期限为本周末。 openai公布的报告显示，astra模型在数学和理论计算机科学领域取得了十项重大突破，涵盖高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，以及极值数猜想等。其中多项成果直接解决了数学家保罗·埃尔德什留下的经典公开问题。 在研究流程上，astra模型负责生成数学论证，人类研究员借助同一模型协助整理论文草稿，随后再将论证转化为lean代码进行形式化验证。openai强调，上述十项突破中所有数学论证均由ai系统生成，人类的职责在于协助准备手稿、完成形式化验证，并对最终结果的正确性承担责任。 这并非openai首次在数学领域取得突破性成果。今年5月，openai在评估一个未发布模型时，已令ai成功推翻了埃尔德什单位距离猜想，此后学术界随即跟进发表了多篇相关论文。 随着ai系统在科研中扮演愈发核心的角色，成果归属问题也引发关注。openai表示，尊重并理解莱顿人工智能与数学宣言签署者们的担忧，并明确指出，若将完全由ai生成的证明标记为人类作品，既扭曲了ai系统的贡献，也模糊了人类智识工作的本质边界。 值得注意的是，openai近期还推出了面向学术研究人员的chatgpt专项计划，为十万名科学家和数学家提供免费访问最强模型的权限，并在模型开发过程中持续以开放性研究问题作为测试基准。