AI早报 2026-08-02：OpenAI Astra攻克十年未解数学难题 / DeepSeek V4-Flash Agent反超Pro / MCP 2.0无状态化

每日AI大事晨间速递 · Aug 2, 2026

OpenAI用下一代模型Astra攻克十道停滞十年以上的数学难题，每道题花费不到2000美元token成本，并开源全部Lean 4形式化证明；DeepSeek V4-Flash 0731发布，纯靠后训练Agent能力反超V4-Pro，Terminal-Bench从56.9暴涨至82.7，定价仅$0.14/$0.28且权重MIT开源；MCP 2.0无状态规范落地，Simon Willison一周连做三个工具；Greg Brockman泼冷水：同事的ChatGPT来求助人们并不买账，AI协作礼仪成新课题。主播奥斯卡深度点评。