1. OpenAI确认下一代多智能体模型Astra:以2000美元算力攻克十道十年未解数学难题,将成为特朗普政府AI备案框架首批审查产品 [🤖智能体主线] 🔍 我方相关
8月1日,The Information报道OpenAI确认全新模型家族"Astra"存在。**①能力定位**——核心能力是驱动多个AI智能体长期协同运作以解决高难度问题(智能体拆分任务、多智能体协作),应用场景涵盖项目管理至高阶数学难题求解,标志通用人工智能路线迈出实质一步。**②十项数学突破**——OpenAI发布报告详述其最先进AI成功解决十道此前从未被攻克的数学难题,涵盖高维球体堆积密度上限、康涅斯刚性猜想的推翻、量子平行重复定理、极值数猜想等,每道题学术积压超十年,全部求解算力成本仅约2000美元。研究流程:Astra生成数学论证,人类研究员借助同模型整理论文草稿,再转化为Lean代码形式化验证。**③清华姚班毕业生证实**——Lijie Chen(今年1月加入OpenAI)证实10个证明由Astra做出。**④监管首考**——Astra预计成为首批须经特朗普政府新版AI框架审查的产品,该框架要求AI公司向公众发布前须向联邦政府备案,本周末为最终期限。**⑤Altman国会游说**——7月29日Altman会见参议员Warnock/Moreno,计划会见参院情报委员会民主党首席成员Warner。**⑥模型定位**——Astra与现有Sol/Terra/Luna并列,尚未决定标记为GPT-6或GPT-5系列子版本。