往期日报

新闻与摘要

02MCPMCP

MCP 2026-07-28 Specification:协议切换为stateless核心+RFC 9207强制iss校验+Multi Round-Trip Requests,与HTTP对齐

MCP官方7/28发布新规范——协议从bidirectional stateful切换为stateless request/response核心,消除initialize/initialized握手;客户端必须按RFC 9207验证iss参数(SEP-2468)防范一类安全问题;新增Multi Round-Trip Requests支持调用中用户输入。TypeScript/Python/Go/C# SDK同步发布。MCP正式从"实验性协议"切换到"HTTP对齐的生产级协议"。

03安全ailawsbystate.com

加州AI透明法案SB 942今日生效:100万+月活GenAI厂商必须嵌入C2PA provenance+提供免费检测工具,违规$5K/天

加州SB 942今日(8/2)正式生效——覆盖月活100万+的GenAI厂商(OpenAI/Anthropic/Google/Meta等),要求:1)在AI生成的图片/视频/音频中嵌入C2PA兼容的provenance元数据;2)提供免费的AI检测工具给公众;3)允许用户添加可见AI标签。违规罚款$5,000/天。美国首个州级AI水印强制法规,与EU AI Act透明义务(同日生效)同步。

04模型OpenAI

OpenAI Astra数学证明发布:10个开放问题被攻克+Lean 4证书+总推理成本$2,000,frontier模型从"推理"切换到"证明"

OpenAI研究员Sébastien Bubeck 7/31发布——下一代模型Astra攻克10个至少开放十年的数学难题,包括非sofic群存在性、Connes刚性猜想(被证伪)、高维球填充新bound。所有证明附带Lean 4形式化证书(GitHub开源),总推理成本约$2,000(按Sol API计价)。frontier模型正式从"会推理"切换到"会证明"。