2026-08-01 AI 动态2026年8月1日 · 阅读需 2 分钟本期焦点 OpenAI 发布数学和理论计算机科学 10 项进展。 中文社区关注 Astra 在开放问题上的突破与成本。 AI for Science 继续从基准评测走向真实科研问题。 数学推理成为前沿模型能力和安全评估的重要交叉点。