2周日
AI 科技日报 · 2026年8月2日
2026年8月2日星期日 · 4 条新闻
// 精选平台
//德国法院裁定AI音乐生成器Suno侵犯版权，驳回合理使用抗辩；OpenAI Astra 以约2000美元证明10项数学难题。
海外动态
4德国法院裁定AI音乐生成器Suno侵犯版权，驳回合理使用抗辩
AI
慕尼黑法院裁定，AI音乐生成器Suno在训练过程及输出结果中均侵犯版权，并驳回其合理使用抗辩。法院认定Suno 3.5和4版本模型可复现六首知名歌曲的原创元素，构成“记忆化”侵权，且责任归于Suno而非用户。该判决还认定美国版权法下的合理使用不适用于此案，目前尚未最终生效。
The Decoder：AI News（RSS）查看原文
OpenAI Astra 以约2000美元证明10项数学难题
OpenAI
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。
X：Greg Brockman (@gdb)查看原文
Codex 用 Sol 指挥 Luna Max 省额度翻倍产出
tip
Codex 高阶玩法：让 Sol 在 `~/.codex/agents/` 下创建 `luna-worker.toml` 子代理，模型设 `gpt-5.6-luna`、reasoning effort 设 max，Sol 负责拆任务与审代码，具体实现自动委托给 Luna Max。
X：阿易 AI Notes (@AYi_AInotes)查看原文
Grok 支持分析任意视频
ai-products
Grok 可以分析任何视频 https://grok.com/share/bGVnYWN5_8013f7a3-f604-4351-8cd7-acecf3ef165b
X：Elon Musk (@elonmusk, xAI)查看原文