英国外交大臣库珀警告：AI 或成未来 10 年最大安全挑战，世界各国必须建立紧急防护措施

英国外交大臣伊薇特 · 库珀发出警告，若各国无法就 AI 发展制定国际准则，其威胁堪比核武器。她指出全球已存在利用先进技术的恶意行为者，未来两年 AI 将成为外交核心议题···

面向数学形式化证明：Mistral AI 发布 Leanstral 1.5 低使用成本开源模型

对于 PutnamBench 数学竞赛问题集中的题目，Leanstral 1.5 的平均解决开支仅有 4 美元，而 Seed-Prover 1.5 需要 300 美元以上，Aleph Prover 也需要 54~68 美元。

首届全球人工智能治理对话在日内瓦举行，联合国秘书长古特雷斯发表讲话

首届全球人工智能治理对话在日内瓦举行，联合国秘书长古特雷斯在开幕式上强调，AI 正以惊人速度发展，必须将全球参与转化为全球行动，使其更安全、公平、符合伦理。会议将聚···

腾讯发布并开源混元 Hy3 模型，宣称效果比肩国内外更大尺寸旗舰模型

腾讯混元官方宣布，继 4 月底发布 Hy3 preview 后，通过反馈修复了各种体验问题，进一步提升了后训练的质量和规模。

单模型支持 30 种语言 + 16 种方言，阿里千问升级 Fun-ASR-Realtime 语音识别模型

在覆盖八大方言区的 16 种方言识别测试中，Fun-ASR-Realtime 字符准确率平均为 88.62%，在 12 类方言上领先。

从洗发水到饼干，消费品迎来 AI 焕新

欧莱雅通过 AI 技术，将护肤成分成功复用于洗发产品，研发效率提升至原先的四倍。雀巢、亿滋等消费品巨头也纷纷将 AI 用于原料测试、配方生成和供应链优化，以应对市场变化···

因制造工艺问题，英伟达 Kyber 机架平台可能延期至 2028 年推出

据 CNBC 报道，因 PCB 中介板制造难度过高，英伟达下一代 AI 机架系统 Kyber 可能推迟至 2028 年推出。这反映了随着系统规模扩大，英伟达高速产品更新节奏正受到制造能力的···

Day-0 支持：摩尔线程完成美团 LongCat-2.0 极速适配

据介绍，此次适配覆盖模型加载、推理引擎拉起、关键算子优化、部署验证与精度校验等全链路环节，使 LongCat-2.0 能够在 MTT S5000 上实现稳定、高效的推理运行。

谷歌大佬盛赞 Fable 5 模型：23 年前 PC 游戏神作，只用 40 分钟塞进 iPhone 和 iPad

谷歌的产品负责人，用 Claude Fable 5 把 2003 年的 PC 神作原生移植到了 iPhone 上。只不过，代价是两天烧光一整个 Max 订阅。

豆包又一功能下线，“应用生成”已停止服务

豆包在宣布全面下线“智能体”功能之前，其“应用生成”功能已于 5 月 31 日率先停止服务。