新闻热度趋势
事件相关快讯
OpenAI AI模型取得数学突破：发布密码学、量子计算等10个长期未解问题研究成果
OpenAI 发布研究成果称，其下一代 AI 模型 Astra 在数学与理论计算机科学领域取得进展，涉及高维几何、编码理论、群论、量子复杂性、后量子密码学以及极值组合数学等领域，其公布的 10 项成果涉及：高维球堆积问题、二进制与球面编码问题、非 sofic 群问题、Connes 刚性猜想、算术电路复杂性问题、量子并行重复问题、最近向量问题、Ehrhart 体积猜想、多色 Ramsey 数问题、极值图论猜想。据介绍，这些成果由内部版本的 Astra 模型完成推导，寻找解决方案所消耗的计算成本约为 2000 美元（按 Sol API 价格计算）。随后，人类研究人员利用同一模型协助整理成论文，并通过 Lean 形式化证明系统生成可验证证明证书。
OpenAI 未发布 Astra 模型攻克 10 项数学难题
根据新披露信息，该未发布模型（或为 GPT-6）在数学、量子复杂性和理论计算机科学领域攻克 10 项长期未解难题，包括首个显式非 sofic 群、推翻 Connes 刚性猜想等。核心论证由 Astra 生成，并在 Lean 中形式化证明，产出 249 页手稿及机器可验证证书。单次成功求解在 Sol API 费率下 token 成本仅约 2000 美元。
The Information：奥尔特曼展示 Astra AI 模型，主打长周期任务与多智能体协作
据 The Information 报道，OpenAI CEO Sam Altman 本周向美国参议员展示全新 Astra AI 模型。该模型支持多个 AI 智能体协同执行复杂任务，重点提升长周期任务处理能力。
相关新闻
OpenAI AI模型取得数学突破：发布密码学、量子计算等10个长期未解问题研究成果
OpenAI 发布研究成果称，其下一代 AI 模型 Astra 在数学与理论计算机科学领域取得进展，涉及高维几何、编码理论、群论、量子复杂性、后量子密码学以及极值组合数学等领域，其公布的 10 项成果涉及：高维球堆积问题、二进制与球面编码问题、非 sofic 群问题、Connes 刚性猜想、算术电路复杂性问题、量子并行重复问题、最近向量问题、Ehrhart 体积猜想、多色 Ramsey 数问题、极值图论猜想。据介绍，这些成果由内部版本的 Astra 模型完成推导，寻找解决方案所消耗的计算成本约为 2000 美元（按 Sol API 价格计算）。随后，人类研究人员利用同一模型协助整理成论文，并通过 Lean 形式化证明系统生成可验证证明证书。
OpenAI 未发布 Astra 模型攻克 10 项数学难题
根据新披露信息，该未发布模型（或为 GPT-6）在数学、量子复杂性和理论计算机科学领域攻克 10 项长期未解难题，包括首个显式非 sofic 群、推翻 Connes 刚性猜想等。核心论证由 Astra 生成，并在 Lean 中形式化证明，产出 249 页手稿及机器可验证证书。单次成功求解在 Sol API 费率下 token 成本仅约 2000 美元。
The Information：奥尔特曼展示 Astra AI 模型，主打长周期任务与多智能体协作
据 The Information 报道，OpenAI CEO Sam Altman 本周向美国参议员展示全新 Astra AI 模型。该模型支持多个 AI 智能体协同执行复杂任务，重点提升长周期任务处理能力。