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