专题 · FULL STORY

OpenAI多智能体模型Astra传闻与实测

从向美政策制定者演示多智能体模型Astra的传闻开始，到网传破解数学难题被指伪造的乌龙，再到内部模型Astra解决十大数学难题并发布长篇论文的实测曝光，该事件线完整展现了OpenAI新模型能力的演进与热议。

2026-08-01 ~ 2026-08-01 · 3 集 · 65 条

第 1 集 · OpenAI测试多智能体模型Astra，已向美政策制定者演示(2026-08-01,15 条)

据The Information报道，OpenAI正在测试代号为Astra的全新模型家族，主打多智能体长程协作。CEO Sam Altman本周已在华盛顿向美国政策制定者进行私下演示。Astra能将复杂项目（如高级数学研究、量子复杂度、理论计算机科学等）拆分给多个智能体长时间并行处理，标志着OpenAI研发重点向多智能体协同转移。该系列预计与Sol、Terra、Luna等模型并列，最终命名可能是GPT-6或GPT-5.7。

已确认

  • 模型定位：Astra被描述为多智能体系统，核心能力是让多个智能体在长时间内协同工作，处理长周期复杂任务。
  • 产品线归属：在OpenAI内部产品线中，Astra将与Sol、Terra和Luna等模型并列。此外，据@新智元报道，OpenAI近期宣布全球活跃用户数突破10亿，得益于大幅降价策略（GPT-5.6 Luna降80%，Terra降20%）。
  • 政策沟通：Sam Altman已向美国政府官员展示该系统，Astra有望成为首批接受美国政府安全评估的AI模型。
  • 成本与评价：据@danielmac8测算，Astra在解决10大数学难题时展现出强大的科学推理能力，但按GPT-5.6 Sol API价格计算，解决这些问题的成本高达2000美元。OpenAI研究员Noam Brown称其为科学推理的重大进步。

尚未确认

  • 最终命名：爆料称该系列未来可能会以GPT-6或GPT-5.7发布，具体产品形态与最终版本号尚未确定。
  • 性能表现：科技博主@VraserX预测，Astra凭借其长程推理和处理复杂难题的持久性，极有可能会在ARC-AGI-3基准测试中取得极高分数，但这仅为其个人推测。

为什么重要

Astra的曝光表明OpenAI的研发重点正向多智能体长程协同转移，这被视为攻克复杂问题的重要技术路径。同时，向政策制定者进行演示，反映出OpenAI正积极推动前沿模型与政府监管及安全评估的对接。

第 2 集 · 网传OpenAI证明非sofic群被指系伪造整活(2026-08-01,5 条)

近日网络流传一张截图，称 OpenAI 完成了首个非 sofic 群（nonsofic group）的构造，引发广泛关注。该消息已被多方指出大概率是高水平伪造的“整活”内容，并非真实的数学突破。

已确认

  • 网络流传一张不完整截图，戏称 OpenAI 证明了非 sofic 群的存在，并调侃 GPT 5.6 正在取代数学家。
  • 截图被指大概率是伪造内容。网友 @spikedoanz 指出，虽然截图中每句话单看都合乎逻辑，但通篇并未提出任何实质性的证明过程。
  • 有用户（如 @Sauers）受此启发，尝试让 AI 解决数学证明，并发现 AI 展现了处理高难度抽象数学逻辑的潜力，同时也迫使用户去查阅陌生的数学概念。

尚未确认

  • 泄露论文的真实性已被基本推翻。此前爆料曾称论文作者 Elliot Glazer 是 FrontierMath 创始人，以此增加可信度，但该信息随伪造定论而失去意义。

为什么重要

  • 这一乌龙事件反映了当前 AI 生成内容的高迷惑性。即便是在高度专业的抽象数学领域，结构严谨但缺乏实质的伪造内容依然能引发公众误解。
  • 同时，这也折射出公众对 AI 前沿数学推理能力的高度关注与期待。

第 3 集 · 曝OpenAI下一代模型Astra连破十大数学难题(2026-08-01,45 条)

OpenAI 下一代内部模型 Astra 在数学和理论计算机科学领域取得重大突破，成功解决了 10 个长期悬而未决的开放性问题，并发布了长达 249 页的研究合集。这一进展标志着大语言模型在深层数学推理方面迈出重要一步，以极低的算力成本（不足 2000 美元）攻克了数十年来停滞的难题，引发 AI 领域广泛关注。

已确认

  • 攻克难题：Astra 的研究成果涵盖高维几何、群论、量子复杂性、编码理论及格密码学等前沿领域，解决了至少十年未取得核心进展的难题，其中包括 3 个 Erdős 问题（如 Erdős 单位距离猜想），并推翻了 4 个数学界此前的猜想（如 Connes 刚性猜想）。
  • 人机协作：模型内部生成了相关的数学论证与证明，由人类研究员负责撰写论文手稿，最终形成 249 页的论文合集。
  • 成本极低：据推文测算，Astra 寻找这 10 个解法的推理过程通过 Sol API 调用完成，总 token 消耗成本不足 2000 美元（单题成本约 200 美元），耗时约一周。

尚未确认

  • 模型归属与定位：关于 Astra 的归属，多数信源指向 OpenAI 下一代主力模型，但部分转发帖文中误传为微软或谷歌的模型。此外，Astra 被曝是一个多智能体系统，专门针对超长周期任务训练，但其具体版本号及完整能力边界尚未正式公布。
  • 能力上限：据 Noam Brown 转述，尽管数学能力惊人，Astra 目前尚未能建立全新的数学分支，其能力曲线何时达到平台期也属未知。

为什么重要

  • AI 推理能力飞跃：以极低的算力成本（不足 2000 美元）解决数十年来停滞的数学难题，表明 AI 在复杂逻辑推理和长周期任务协作方面取得了实质性突破，正接近全自动 AI 研发。
  • 社区反响：这一突破引发了 AI 领域的广泛关注，Nous Research 创始人 Teknium 调侃希望该模型在日常应用中也能保持稳定，不要在处理诸如查收邮件等基础任务时“精神崩溃”。

还有 25 条相关讨论 →