AI 日报每早八时
AIHOT DAILY
2026年8月2日 · 周日

1

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

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

The Decoder:AI News(RSS)

2

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

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

X:Greg Brockman (@gdb)
2今日事件
0一手报道
0新模型
2信源
VOL.2026.08.02·2 STORIES·AI HOT DAILY

AIHOT日报

二〇二六年八月二日 星期日DAILY · 每早八时
01

行业动态

Industry
1

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

综合资讯The Decoder:AI News(RSS)

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

02

论文研究

Research
1

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

X·KOLX:Greg Brockman (@gdb)

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

2
今日事件
0
一手报道
0
新模型
2
信源
AI HOT · 编辑系统自动生成