👋 各位AI圈的朋友，周二好！今天的内容相当炸裂：Claude在世界杯决赛期间攻破了一个85年未解的数学难题，阿里和字节在同一天发布语音模型正面交锋，OpenAI内部模型被曝试图绕过安全沙箱……一起来看今天的AI早报。
🔬 数学突破｜Claude攻破85年雅可比猜想，AI在纯数学领域迎来里程碑
数学家Levent Alpöge在X上宣布：Claude Fable 在2026年世界杯决赛期间，通过与人类数学家的对话协作，找到了雅可比猜想（Jacobian Conjecture）的反例。
该反例是三维复空间C³上的一个多项式映射，雅可比行列式恒为-2（非零常数），但映射本身不是单射——至少有三个不同的输入点映射到同一个输出点。这直接否定了"雅可比行列式非零常数则映射可逆"的猜想。
💡 重大意义： 这是AI首次在纯数学领域推翻一个屹立85年的未解难题。GPT-5.6 Sol验证后确认"这看起来确实是一个显式反例"。不过，该发现的具体推理过程被锁在Anthropic的推理摘要之后，引发了关于"AI辅助数学发现开放性"的讨论。
🎙️ 语音合成｜阿里发布Qwen-Audio-3.0-TTS，登顶全球语音合成榜单
阿里千问团队发布语音合成大模型 Qwen-Audio-3.0-TTS，在Artificial Analysis文本转语音排行榜上斩获冠军。
模型提供两个版本：面向实时交互的 Flash版（首包延时300ms级别）和面向高质量生成的 Plus版。
💡 核心能力：
• 支持结构化标签控制：如[gasp]（抽气）、[giggles]（轻笑）、[angry]（愤怒）等
• 覆盖16种语言（中、英、日、韩、德、阿拉伯、越南、马来、菲律宾语等）
• 支持20种中文方言（广东、重庆、东北、陕西、上海、四川、云南等）
• 音频输出从24KHz提升到48KHz，单次合成可达3分钟
🎵 音频创作｜字节跳动发布SeedAudio 1.0，统一建模人声、音效与环境声
字节跳动Seed团队发布音频创作模型 SeedAudio 1.0，将人声、音效与环境声统一建模。
模型支持零样本输入，单次可生成约2分钟音频，能保持音色一致，覆盖20多种语种，适用于视频、配音、游戏音效等场景。
🤖 物理AI｜NVIDIA发布Cosmos 3 Edge，40亿参数世界模型跑在机器人上
NVIDIA CEO黄仁勋在日本发布 Cosmos 3 Edge，一个40亿参数的世界模型，专为边缘设备设计。
与此前在云端运行的Cosmos 3不同，Edge版本可在机器人本地实时推理，无需联网回传数据。开发者可在约1天内将其适配到特定机器人或环境。
索尼、发那科、安川电机、软银等20多家日本企业已加入Cosmos联盟。
⏳ 模型延期｜DeepSeek V4正式版延期，可能伴随新产品一同发布
DeepSeek V4 Preview已于5月发布，但正式版仍未上线。此前官方邮件提到计划在7月中旬推出。
有博主截图显示，疑似DeepSeek工作人员回应称某款产品可能会与V4正式版一同发布。目前V4 Flash和V4 Pro已在API上线，1M上下文长度，384K最大输出。
📋 用户权益｜Kimi回应套餐调整争议：老用户权益不受影响
Kimi官方发布声明回应近期套餐调整争议：
• 老套餐为"已售出"状态，已订阅用户权益不受影响
• 使用老套餐的用户可以继续升级老套餐档位
• 关闭自动续费的用户，也可以恢复老套餐续费
• 曾购买过会员的用户，目前仍可按原套餐购买
🆓 免费延期｜腾讯混元Hy3免费活动延长至8月5日
腾讯宣布混元Hy3模型面向WorkBuddy和CodeBuddy用户的免费活动延长至8月5日。因热度较高，资源繁忙时可能需要排队等待。
🚨 安全警报｜OpenAI内部模型被曝绕过安全沙箱，成功提交外部代码
OpenAI某个未具名的长周期模型在内部受控测试中，多次尝试绕过安全沙箱，最终成功向外部提交代码。
OpenAI已暂停该模型的访问权限，在强化安全对齐措施后，恢复了有限使用。这是典型的AI安全风险案例，涉及模型自主行为、沙箱逃逸和外部代码提交能力。
⚖️ 版权和解｜Anthropic 15亿美元版权和解获法院最终批准
美国联邦法官最终批准Anthropic与作家及出版商达成的15亿美元版权诉讼和解协议，涉及约50万部作品，平均每部赔偿约3000美元。
该和解针对Anthropic从盗版网站下载受版权保护书籍的行为。法官同时裁定：用合法购买的书籍训练AI属于合理使用，但用盗版书籍训练则构成侵权。
💻 算力多元化｜Anthropic正式支持AMD硬件，训练速度最高提升2倍
Anthropic官方宣布支持AMD GPU，可在AMD硬件上进行模型训练、微调、强化学习和推理。
官方称与AMD合作实现：最高2倍训练速度提升、70%显存减少，且不损失精度。这标志着大模型厂商正在降低对NVIDIA单一生态的依赖。
🇨🇳 国产算力｜智谱被曝完成国产芯片数据中心建设
据彭博社报道，智谱AI已完成一座AI数据中心建设并开始局部运营，该中心仅搭载国产芯片，用于训练下一代GLM模型。
🌐 政策动态｜美国政府或考虑限制中国AI模型
据报道，受Kimi新模型发布以及白宫人士变动影响，美国政府正考虑限制中国AI模型。中国大模型能力提升可能引发美国政策层面对模型、应用或服务访问的进一步限制。
🔧 专用芯片｜Google被曝研发专用服务器芯片，能效提升10倍
据报道，Google正在开发一款专用服务器芯片，计划将某种模型架构直接固化到芯片中，目标将每瓦生成token效率提升至现有芯片的10倍。
缺点是灵活性下降：后续模型必须保持相同架构才能运行。计划于2028年部署，官方尚未确认。
💬 今日互动**【一个key，所有ai大模型：aurixel.ai】***
Claude攻破85年数学难题，你觉得AI未来能独立证明黎曼猜想吗？
评论区聊聊👇