它们标志着全球顶级科技企业的讨论重点，正在从「模型能力有多强」，转向「企业如何避免失去自己的认知主权」。

1、博鱼下载 AI 达人智能体从全球达人库中筛出户外和咖啡类创作者，自动生成个性化英文邀约并持续跟进。

qrdl的论证倒不情绪化。博鱼下载你跟它说过的每一句话，既是资产，某些情况下，也可能被翻开、被呈上法庭。

2、乘联分会：6月皮卡市场销售6.2万辆，同比增长29%

这使导航学习从「单一正确轨迹学习」，扩展为「包含错误状态的完整经验学习」。

3、周杰伦化身风味侦探，携手星巴克邂逅专属夏日美味

雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

4、中国当代画家，陈畏油画作品选

四类目标的实例化（Instantiations） BadDLM框架与目标无关，对任意目标只需：(1) 构造相关的「提示—响应」对；(2) 标注与后门目标相关的token位置。

5、冷门的哲学，成了“治”AI的热门

地面打滑、控制误差、动态障碍和视觉波动，都可能让机器人逐渐离开原定路线。

工业区更热闹：两台人形机器人在「搭班干活」——一台搬运料筐，另一台从筐里抓取工件精准放到指定位置。

脚下是草，抬眼是蓝天，一条圆石小路从脚边铺出去，绕过橡树，通向树后那间小屋—— 木板墙、原木立柱、圆石屋顶、一根红砖烟囱，墙上四周还嵌着玻璃窗。

6、中国当代画家，李晓宇油画作品选

这一转换基于一个简洁的观察：大型语言模型本质上是信息处理器，其输入和输出均为文本，而文本的意义——即我们真正需要解释的东西——并不存在于神经元的激活值中，而存在于这些符号与世界、与知识、与人类实践之间的关系之中。

作业、考试、论文……一切还是老样子。

7、曼联周四集训大名单公布，小梅西领衔小妖云集！拉爵提出三项要求

极反应。

在架构端，高德从一开始切入具身智能，就不是为了造某一台特定的机器人。

8、落选秀16+10+11夏联唯一三双：率篮网大胜 送雷霆唯一8战全败

这一意象恰恰警示我们：即便我们能观测到模型「正在想什么」，也未必能理解它「为什么这样想」。

在Anthropic对抗五角大楼的官司中，Jeff公开签署了一份文件声援Anthropic，打破了谷歌管理层的沉默。

也就是说，那个从不涨价的「价格屠夫」，第一次给自己的算力装上了计价器。

9、CBA休赛期第一个大合同诞生！全明星后卫再拿顶薪

它以营销策略大脑为核心，跑通了「1名真人座席+5个AI分身」的人机协同模式，AI分身的音色和沟通风格与真人座席保持一致。

而WAIC现场那座积木长城，是这条路径最直观的一次公开亮相。

10、钱再多有什么用？50岁王力宏意外摔倒“毁容”，给所有人提了个醒

比如，「改进这段代码」是个坏目标，因为没法验证；「/tests/下所有测试通过，只许改/src里的文件，修3次还不过就停下来汇报」是个好目标，因为每一条都能核对。

WAM-TTT的自监督视频预测技术，直接从这段人类玩耍的视频中提取特征。

1、马拉松，就是要多向社会“报喜”

而一旦记忆能以一种中立、标准的形式，在不同模型、不同Agent、不同设备之间被共享和继承，它就不升格成一层公共的基础设施。

2、CBA官宣！京粤大战赛程，三场两胜制，首战5月6日

特纳将最大的希望寄托在了Jeff Dean身上。

3、鲁比奥欲拆国际刑事法院，就别在有关问题上咋呼啦！

比如黑板[12, 18]，12的素因子是2、2、3共3个，18的是2、3、3共3个，T = 6，N = 2，Φ = 8。欧美杯重演！世界杯决赛迎20亿欧巅峰对决，巴萨两代10号首次交锋产出的训练数据里，单条轨迹平均15次工具调用，最长超100步，覆盖数据分析、跨系统整合、批量文档处理、报告生成。

4、12项全球SOTA！WAIC最猛世界模型，让机器人「开悟」了

因为进程可能恰好在写进度写到一半时崩掉，留下半截烂数据。

5、美军12架飞机被一锅端！伊朗越打越不讲理，特朗普只剩一个问题

数据类型：部署零动作标注 目前市面上即便有一些利用人类视频数据的模型，往往也需要痛苦的人工标注：标出视频里人类手部的三维关键点（甚至需要生成复杂的MANO手部网格），然后再把人的动作重定向到机械臂上。

6、刚刚

一夜之间，全球开发者集体换锁 报告发出当天，直接冲上Hacker News头版，Reddit炸锅。

但他也提到：「长期来说，我们肯定会考虑去造更加可靠的硬件，但是可能这是一个时间的问题。

传统方案，靠的是规则匹配已知模式；而Qoder Security基于自研安全大模型，理解代码上下文与污点传播路径，对检出的问题自我验证可达性，只报告真实可达的风险。

7、欧洲全境高温破纪录，电价也飙至历史极值

DeepSeek V4「满血版」 终于要来了 大家最关心的想必是，如何知道自己，有没有被灰度到？ 博主AiBattle给出了一个民间「验货口诀」：看思维链（CoT）的第一人称。

在内部知识问答这种高频轰炸的场景里，命中率能稳定在20%到30%。

8、火箭有意欧文？若能成功将组多巨头阵容 完美解决球队两大顽疾

他问自家硬件负责人：我们这么完整地交出去，怕友商抄吗？ 对方回了他八个字： 设计可以，技术不行。

参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

至此，CMA的整个生命周期——环境搭建、agent部署、运行状态、记忆管理，全部可以事件驱动地跟外部系统打通。

时机选得明明白白——偏偏挑在诺兰票房最风光的这一周出手。