2026-08-03科技简报

本期节目聚焦 AI 前沿科学突破与重大版权诉讼：OpenAI 内部下一代模型 Astra 仅用约 2000 美元计算成本，成功证明并推翻了包括 Connes 刚性猜想在内的 10 项数学与理论计算机科学难题，并提供 Lean 验证证书；另一方面，德国慕尼黑法院做出一审裁定，认定 AI 音乐生成器 Suno 3.5 和 4 版本模型因复现 6 首知名歌曲构成“记忆化”版权侵权，并驳回了其合理使用抗辩。