AI 热点日报（2026-08-02）

行业动态

1. 德国法院裁定 AI 音乐生成器 Suno 侵犯版权，驳回合理使用抗辩

慕尼黑法院裁定，AI 音乐生成器 Suno 在训练过程及输出结果中均侵犯版权，并驳回其合理使用抗辩。法院认定 Suno 3.5 和 4 版本模型可复现六首知名歌曲的原创元素，构成“记忆化”侵权，且责任归于 Suno 而非用户。该判决还认定美国版权法下的合理使用不适用于此案，目前尚未最终生效。
来源： The Decoder：AI News（RSS）

论文研究

1. OpenAI Astra 以约 2000 美元证明 10 项数学难题

OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的 10 项重大进展，总成本约 2000 美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部 10 项证明，附 Lean 证书与 CoT 逐步推导。
来源： X：Greg Brockman (@gdb)