02
2026-08-02日报
2 条精选2 组来源
从版权责任到可验证数学：能力越强，越需要清楚的证据边界
8 月 2 日值得关注的两条进展，分别落在生成式 AI 的责任边界和研究能力上。一边，德国法院围绕六首明确作品，逐层审查训练素材、模型记忆、生成输出与平台责任；另一边，Astra 在十项数学与理论计算机科学问题上取得进展，并公开论文、推理说明与 Lean 证书。两件事指向同一个判断：AI 能力越深入专业领域，行业越不能只依赖演示或口号，而要交付可核验的证据，并明确由谁承担责任。
两条事件需要放在两条边界内理解：一审个案不能直接外推为所有生成模型的统一法律答案；形式化证书提高了证明的可复核性，也不等于数学共同体已经完成外部审阅。
01
行业与治理
1 篇
2026-07-31慕尼黑第一地方法院
德国法院判 Suno 侵犯六首作品版权，并把生成输出的责任归于平台
慕尼黑第一地方法院在 GEMA 起诉 Suno 的案件中，针对六首音乐作品大体支持了禁令、信息披露和损害赔偿请求；争议对象是作曲内容，并不包括歌词。法院新闻稿称，相关作品进入了 Suno 的训练数据，模型 v3.5 与 v4 能够生成在旋律、和声、节奏和编曲上可识别的对应内容。法院据此认定模型发生了“记忆”，训练阶段的复制、模型中的复制以及生成输出均触及受保护作品。
法院还认定，Suno 通过绕过 YouTube 的技术保护措施取得涉案素材，因此德国文本与数据挖掘例外不适用；对发生在美国的训练，其合理使用抗辩同样未获支持。由于输出由平台选择训练数据、设计并运行的模型实质决定，责任被归于 Suno，而非普通用户。这个结论仍是一审且尚未生效，并且建立在六首可识别作品和本案取证事实之上，不能直接扩展为所有训练数据、所有生成音乐或其他法域的统一规则。
02
模型与研究
1 篇
2026-08-01OpenAI
Astra 公布十项数学进展，论文与 Lean 证书让结果具备复核路径
OpenAI 公布，内部版本 Astra 在高维球堆积、编码理论、算术电路复杂度、群论、算子代数、量子复杂性、格密码和极值组合等领域，解决或实质推进了十项长期开放问题。其中包括构造非 sofic 群、推翻 Connes 刚性猜想，以及在最短向量问题和多色 Ramsey 数等方向给出新结果。公司同时发布论文、模型推理说明，并为每项论证提供由模型形式化的 Lean 证书。
官方所称“约 2,000 美元”是找到这些成功解答所消耗 token 按 Sol API 价格折算的估值，并不是整个研究项目的总成本；论文随后由人类借助同一模型整理。Lean 证书让形式化系统能够检查论证，但仍不能替代研究者对问题表述、假设、形式化对应关系和数学意义的审阅。因此，更准确的结论是：Astra 展示了模型在可验证数学研究上的重要进展，也提供了比单一基准分数更好的证据结构；其能力范围和研究影响仍需要数学共同体继续检验。