2026 年 8 月 2 日 · 星期日每天 08:00 出刊
AI 日报
第 103 期022026 年 8 月星期日
2件大事2个来源0件一手发布0个新模型约 1 分钟读完
- 1德国法院裁定AI音乐生成器Suno侵犯版权，驳回合理使用抗辩The Decoder：AI News
- 2OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman
01行业动态
The Decoder：AI News德国法院裁定AI音乐生成器Suno侵犯版权，驳回合理使用抗辩
慕尼黑法院裁定，AI音乐生成器Suno在训练过程及输出结果中均侵犯版权，并驳回其合理使用抗辩。法院认定Suno 3.5和4版本模型可复现六首知名歌曲的原创元素，构成“记忆化”侵权，且责任归于Suno而非用户。该判决还认定美国版权法下的合理使用不适用于此案，目前尚未最终生效。
原文02论文研究
Greg BrockmanOpenAI Astra 以约2000美元证明10项数学难题
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。
原文