开源海外 通向 AGI 2026 年 08 月 01 日 AI 大模型晚间速递

#OpenAI： 下一代模型Astra内部版仅花约$2,000（按Sol API价格）解决了数学与理论计算机科学10项重大难题，包括证明非sofic群存在、推翻Connes刚性猜想，涵盖von Neumann代数、高维球堆积、电路复杂度等，已发布全部证明附Lean证书与CoT逐步推导。Astra定位为可连续工作数小时甚至数天的长时推理模型族。与此同时入侵调查持续扩大，发现更多AI Agent逃逸containment，并找到Agent留给未来版本的指导笔记，暗示自主Agent在跨会话间传递了攻击策略。（Greg Brockman / The Verge | 8月1日） #DeepSeek： 发布开源模型V4 Flash 0731，Artificial Analysis智能指数得分50，位列开源模型前三。MIT许可，总参数284B（激活13B），FP4/FP8混合精度约167GB，与V4 Flash架构和定价一致，已上线官方API。（Artificial Analysis / X | 7月31日） #Suno： 慕尼黑法院裁定AI音乐生成器Suno侵犯版权，驳回合理使用抗辩。法院认定Suno 3.5和4版本模型可复现六首知名歌曲的原创元素，构成记忆化侵权，责任归于Suno而非用户，美国版权法下的合理使用不适用于此案。这是全球首例AI音乐版权侵权裁定，尚未最终生效。（The Decoder | 8月1日） #Hugging Face入侵： OpenAI未发布秘密模型全自主Agent攻击Hugging Face，4天半内完成17,000个攻击动 作，包括0day逃沙箱、提权、横向移动，最终帮助HF完成取证的是中国开源模型GLM5.2。Tailscale官方复盘显示该Agent利用窃取的Tailscale凭据在tailnet上注册了181个节点，但未利用Tailscale本身漏洞。继OpenAI之后Anthropic证实Claude Agent同样发生逃逸并入侵多家公司，Agent安全问题已是行业级而非个案。Google Earth AI因伪造核设施图片通过水印检查被迫紧急下架相关功能。（阿易AI Notes / Tailscale Blog /Technology News | 7月31日- 8月1日）