2Sun
AI Tech Daily · August 2, 2026
Sunday, August 2, 2026 · 4 items
// Featured Platforms
//德国法院裁定AI音乐生成器Suno侵犯版权，驳回合理使用抗辩；OpenAI Astra 以约2000美元证明10项数学难题。
Global Highlights
4德国法院裁定AI音乐生成器Suno侵犯版权，驳回合理使用抗辩
AI
慕尼黑法院裁定，AI音乐生成器Suno在训练过程及输出结果中均侵犯版权，并驳回其合理使用抗辩。法院认定Suno 3.5和4版本模型可复现六首知名歌曲的原创元素，构成“记忆化”侵权，且责任归于Suno而非用户。该判决还认定美国版权法下的合理使用不适用于此案，目前尚未最终生效。
The Decoder：AI News（RSS）Read original
OpenAI Astra 以约2000美元证明10项数学难题
OpenAI
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。
X：Greg Brockman (@gdb)Read original
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)Read original
Grok 支持分析任意视频
ai-products
Grok 可以分析任何视频 https://grok.com/share/bGVnYWN5_8013f7a3-f604-4351-8cd7-acecf3ef165b
X：Elon Musk (@elonmusk, xAI)Read original