微信公众号（Mp2RSS 合集）· AI寒武纪·· 2026-08-01精选AI 评分86
OpenAI 确认下一代模型 Astra 存在，约 2000 美元算力解出十项数学前沿难题
刚刚！OpenAI确认下一代模型Astra存在：仅花2000美金狂解10大数学前沿难题
AI 导读
OpenAI 官宣下一代模型 Astra 的存在，并公布其在数学与理论计算机科学领域完成的十项突破，这些问题此前至少十年未有解法，在 Sol API 费率下总算力成本约 2000 美元。
推荐理由
OpenAI 公开下一代模型 Astra 攻克的十项数学难题，并给出 Lean 形式化验证与解题过程，可观察模型参与前沿研究的实际方式。
来源：微信公众号（Mp2RSS 合集） · mp.weixin.qq.com