新模型 2026-08-01

OpenAI 预告新模型家族 "Astra"——智能体团队花约 2000 美元解决了十个数学未解难题

OpenAI 公布了暂名为 Astra 的新模型家族，可让多个 AI 智能体协作数小时甚至数天攻克难题。其内部版本解决了数学与理论计算机科学领域十个专家至少十年未能攻克的公开难题——包括证明非 sofic 群的存在——证明已用 Lean 形式化，可由机器验证。按 API 价格计算总成本约 2000 美元。Sam Altman 已在华盛顿向政策制定者演示该系统；它可能以 GPT-6、GPT-5.7 或独立类别发布，并预计成为首个接受美国政府发布前审查的模型。（更正：OpenAI 此后收回了“这些问题至少十年毫无进展”的说法；多位具名数学家指出，其中几项证明建立在未被引用的已发表成果之上。）

为什么重要?这不是跑分成绩，而是人类未能解出的难题的机器可验证证明，几乎无法夸大。它也预示前沿实验室的下一步方向：不是单次聊天回答，而是长时间运行的智能体团队。

#AI智能体 #科学研究

✓ 已核实 · 3个来源

OpenAI 预告新模型家族 "Astra"——智能体团队花约 2000 美元解决了十个数学未解难题

相关新闻