各位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多种语种适用于视频、配音、游戏音效等场景。 物理AINVIDIA发布Cosmos 3 Edge40亿参数世界模型跑在机器人上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未来能独立证明黎曼猜想吗评论区聊聊