8 月 7 日,OpenAI 宣布因网络安全风险延缓 Astra 模型发布。内部评估显示该模型在智能体编程和网络安全领域达到《准备框架》“关键”级别,可自主发现......
8月1日,OpenAI 披露下一代模型 Astra 解决了十项数学与理论计算机科学难题,成本仅约 2000 美元。成果经 Lean 形式化验证,覆盖高维几何、群......