他甚至预测，再过一年，防提示注入、命令校验、人工审批这些安全环节都会没那么重要，因为模型会越来越自觉地做对的事。

1、金年汇 当机器人在踏入陌生厨房的那一秒，学会通过「看」来修正自己的动作时，那个曾遥不可及的通用机器人时刻，才真正具备了大规模商业落地的可行性。

Weil删帖。金年汇这，就是「大晓速度」！ 让它干活的 是一个会「想」的大脑 面对几十万种视觉资产、每天都在变的订单，W1凭什么能稳、能准、能一直干？ 答案不在手上，在脑子里——Kairos 3.1开悟世界模型。

2、西班牙南部惨烈山火致11人死亡，其中四人被困车中遇难

跑一轮重度的Agent任务，账单蹭蹭往上冒，有开发者形容，是「肉眼可见地在烧钱」。

3、米其林主厨被指甜品里放了4.9万只蚂蚁，重金属最高超标55倍，或面临一年监禁

这种在国产显卡上做Infra的能力，是目前其他团队无法企及的护城河。

4、创96年纪录！英法单场轰10球被狂批：除了刷数据 这比赛意义在哪呢

不是「Token 工厂」，是Agentic Infra 2025年，无问芯穹率先在业内喊出了Agentic Infra。

5、世嘉在北京开设第二家中国常驻官方门店

本次测试覆盖Claude Opus 4.6、GPT-5.4、Gemini 3.1 Pro、Gemini 2.5 Pro、Qwen3-32B、GPT o3、GPT-4o-mini、DeepSeek Chat、Llama3-70B等主流模型。

编程也一样，代码AI一秒就能生成，可亲手把逻辑搭起来的过程，锻炼的是大脑。

要在过去，这种页面你得自己接数据源、立一套基础设施才做得出来；现在你只管开口要，它从已经存在的东西里为你搭建。

6、美航二季度营收167.4亿美元创新高，燃料成本暴增83%，Q3指引转亏

按他的判断，这还只是当前状态。

解法是，先给磁盘分了三个抽屉。

7、十年了，为什么鬼怪CP还能让人美美嗑上？

BadDLM 在两个数据域上经干净微调后的后门留存 如上图所示，即便在Dolly-15K与GSM8K上微调15个epoch（达后门训练时的3倍），后门ASR也仅小幅下降，仍远高于次优基线未经防御时的ASR（图中棕色虚线）。

它还包括企业知道如何运营、如何做决策、如何配置资源、如何识别风险，以及如何在复杂环境中实现结果的独特能力。

8、卡萨帝20年：从高端第一到AI生活领跑

参考资料： https://arxiv.org/abs/2606.30755 编辑：LRST新智元报道 「你已达到使用上限，请等待额度重置。

但今年，商汤开始用Agent来辅助完成算子迁移、适配和优化。

参考资料： https://x.com/deedydas/status/2079409461874332066 编辑：摩西新智元报道 过去一年，具身智能赛道正经历着前所未有的「冰火两重天」。

9、“巴威”重新加强为强台风级！绍兴提升防台风应急响应至Ⅱ级！预计将于12日凌晨在浙江苍南至三门一带登陆

在1912年的泰坦尼克号，她没有通过堆砌灾难场景来博眼球，而是详细刻画了那2224个生命在灾难发生前那平常的一天。

具体做三件事。

10、内线独木难支困死山东，邱彪是否该全力追逐李炎哲？

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

参考资料： https://claude.com/blog/ai-code-migration 编辑：桃子新智元报道 就在昨天，整个AI圈还沉浸在一片亢奋之中。

1、高温来袭！本周最高气温42℃！接下来库尔勒天气→

目前，FDR超过名义水平的幅度（0.104 vs 0.1）相对较小，其对高通量科学的实际冲击力仍有待沉淀。

2、CBA3消息！钟诚加盟NBL贵州猛龙，新疆扶正韩国教练，中国女篮36分输西班牙

② 从理论上证明：DLM 的后门训练可以等价地通过构造诱导前向掩码分布（Induced Forward Masking Distribution）来实现，从而揭示出区别于AR（Auto-Regressive）语言模型的全新威胁面。

3、85万回归NBA？！31岁了，还记他吗？

结果设备买回来，从到货到吐出第一个Token要熬一两周，模型每迭代一次都像换血。5月12日！京粤大战第三场，许利民需明确轮换，杜锋能否创造奇迹「机器人最靓的仔」，就是「未来的马斯克」。

4、广东名嘴如今成探店博主，娶圈外富婆生俩娃，54岁他仍潇洒帅气

为什么不给机器人加上「上下文历史记忆」呢？ 答案是，算力根本扛不住。

5、低至1.22元！这些破破烂烂pdd小物，真的贼高级！贼好用

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。

6、中国男篮热身赛名单出炉！高诗岩在列赵继伟领衔，广东2人入选

普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。

当一个中国公司把前沿能力推向全球时，AI竞赛的逻辑已从「零和博弈」转向「正和共生」。

真急症的判轻率51.6%，居家级病例的判重率64.8%。

7、《奶茶店模拟器》正式发售!首发全年最低价6.5折

以「软硬协同、灵活部署、自主可控」为理念，AGX OS直击行业三大痛点： 守数据：本地推理与存储，确保核心数据「不出域」，从源头规避合规风险； 破壁垒：统一模型网关，终结厂商锁定，实现「万模随心切换」，赋予客户极致选择权； 控风险：内置独立沙箱、四级权限与全链路审计，确保智能体每一步操作「计划可审、动作可批、过程可查、结果可回」。

就连「保险起见多叮嘱两句」也一样帮倒忙。

8、深圳马拉松的春天要来了

模型可以对着这个「客观真理」死磕好几天，中间不需要人来仲裁。

编程助手学会的东西，客服Agent一无所知；这台机器人辛苦积累的经验，换一台就得从头再来。

各有各的强项，也各有各的天花板： 领域专用模型（AlphaFold 3、ESM3）：在蛋白质等特定对象的预测任务上做到了极致，但能力也被严格局限在单一对象和任务形式上； 工具增强型通用模型（GPT-Rosalind、Claude Science）：凭借外部工具链灵活切入科学场景，但其科学能力仅寄生于工具，模型本体并未深化对科学的本质理解； 科学语言模型（NatureLM、LOGOS、BioMatrix）：试图将蛋白质、分子等转化为符号序列进行跨对象的统一联合建模，但目前的探索仍主要停留在表征层面。

大学那套考评，考试、论文、作业，几百年来立在一个隐形前提上：这些事太花时间，没人会走捷径。