参考资料： https://x.com/maxforai/status/2078767321603342656?s=46&t=kUmE9xDZxjY1kLbL84hhYQ 编辑：Aeneas新智元报道 一名顶尖实验室的材料研究员，最无力的瞬间，从来不是想不出创新思路，而是 AI 一天推演上百种新配方，人工实验一年测不完； 最可惜的损耗，不是实验本身的失败，而是随着项目结束、人员更迭导致数据、经验、参数未能有效存留，让下次的研究需要重复起步、反复试错。

1、kaiyun.com HMS备了六把不同的「钥匙」，按时间追、按人物串、按上下文补、按最新值查、按矛盾点抓、按关系跳，而不是什么问题都拿同一套相似度搜索去套。

就在前段时间，Boris还说自己不再写prompt了，只写loop。kaiyun.com但这种「赛马」机制，也意味着内耗。

2、反超梅西！金球奖最新概率：凯恩第1亚马尔姆巴佩位列二三

现在，这座大山被AI在不到一个小时内踏平了。

3、地灾预警！涉及邵阳！

补齐 AI 科研反馈滞后短板 打通数字推演与实体实验链路 当前 AI 科研普遍存在推演高效、落地困难的痛点，核心症结在于真实场景反馈机制的不完善。

4、半场三分五连中创历史级纪录之夜 狂热当家核心却距自动禁赛仅一步之遥

对于他来说，编程这事，已经解决了。

5、大卫·克罗夫特：2026动力单元让斯帕和银石失去了应有的精彩

面向开发者与企业，HMS已经完成SDK封装，可以直接交给基座模型厂商、Agent厂商和具身机器人厂商做集成测试。

开篇那个站会的例子，就是这么来的：Claude跟着调查一路往前推，同一个页面被一次次刷新。

他甚至让Claude自己设计了一套端到端测试，连着跑了四个通宵，专抓那些没人预料得到的边角问题。

6、美联格局被打破:光芒若抢到赛扬巨投,洋基红袜恐难以追赶

相比上一代DM0，DM0.5在训练数据规模、模型架构、开放世界泛化能力三个维度全面升级。

LLM对审稿意见进行结构化分析，将自由文本整理为论文的Pros（优点）和Cons（缺点）。

7、喜报！泸州一教研员入选省级专家库

第一发点球，瞄准、蓄力至峰值，起脚射门；攻守互换后，看准反应槽指针，顺势滑屏，可惜手速慢了半拍，扑救失败。

这款1.5B参数规模的VLA模型，继承了面壁智能在今年5月发布的最新多模态大模型MiniCPM-V 4.6的核心技术优势。

8、别吹梅西了！阿根廷世界杯真正大腿！带伤血战硬扛全队

破案了！这个号称世界第一的网页Demo，背后根本不是什么自研模型，而是偷偷调用了DeepSeek模型家族的API来套壳输出。

PixVerse Game：旨在言出法随的实时视频游戏引擎 爱诗年初发布的PixVerse R1，是全球首个支持1080P的通用实时世界模型，它能生成一个可以被用户影响的数字环境。

能用上、还便宜的，才是今天就能装进你钱包的东西。

9、成本不到5元卖40元，九款洗发皂六款含刺激成分，谁在割韭菜？

缺一个，闭环就断在那里。

而多数人，从没点开过那个开关。

10、蒂莱曼斯：卡里克在和我交谈前已与马奎尔以及埃文斯聊过我；MUFC Youth：曼联已从曼城签下2名青训球员

「模型路由」要做的，就是让每个任务都匹配到「刚刚好」的模型—— 简单任务走性价比，复杂任务上高性能，在效果和成本之间找到最优解。

第二种，目标循环（/goal）。

1、Sarah Ashlee Barker开场左膝受伤被搀进更衣室 火队97-101不敌飞翼

结果，在NVIDIA Jetson Thor平台BF16精度下，Kairos 3.1的8B模型推理延迟只有125毫秒。

2、人设崩塌！梅西世界杯争议操作引爆全网，球迷怒斥：太丢人

ABot-ER取得3项SOTA，并登顶数十家机构联合发布的Embodied Arena 2D-EQA AgentOS则将规划与执行从本体中解耦，通过插件式Skill接入，让同一套系统能适配各种异构机器人。

3、曼联主帅清洗五名一线队球员 释放83万镑周薪空间

它越是让你感觉不到它的存在，说明它运转得越完美。二手狠货：雪佛兰Silverado 2500HD柴油皮卡仅7.7万英里，升高套件加持GPQA最开始只有39.4%，调整答案格式和评测设置后，直接飙到95.96% AIME因为答案都是数字，且题目已被大量公开，最终跑到了100% 最夸张的是HLE——他直接把测试答案拿去训练，最终得到99.44% 第二步，就是制造一家「真实存在」的实验室。

4、NFL拉动马德里1.5亿欧经济效益 始祖鸟母公司大中华区收入大涨

更省、更便宜，还得更能打，这才叫诚意。

5、巴山相聚 石榴花开 宕昌少年赴川陕甘青夏令营研学

比如有个企业就发现，客服平台日均数万次咨询中，超过60%的请求不过是查订单、问退换货这类不用动脑的问题。

6、巨星表现！凯恩绝境双响率队晋级 赖斯：太疯狂简直不可思议

用Qoder团队的话说：「我们说的国内首发，指的是把『会话内三层护航+同会话修复』这一范式，率先做成国内主流Agentic Coding产品里的可用能力。

商汤这次在WAIC舞台上真正想讲的故事，便藏在这张图里。

从去年9月十几人的初创班底，到如今接近200人的团队，不到一年产出的成果可以说是相当密集。

7、1746个螺母被认定为枪支散件，五金厂老板获刑四年，其父：螺母系玩具商定制安装在玩具水弹枪上

按照规划，未来一年落地1000家零售场景，两年内铺到1万家量级。

第二个测试是AI表格。

8、鲁尼直播爆粗：被问及世界杯中场秀，前英格兰队长直言"烂透了"

有人网友提出了一个深刻的问题：「并行TTC确实发挥了作用，但没有说出口的问题是：64个独立搜索的质量，能否等同于一个漫长而连续的单线深度推理逻辑链？广度和深度并不总是可以互换的。

为此，他为世界模型的落地划定了「四步走」路径—— 训练时是数据引擎，评估时是考官，规划时是沙盘，部署时是本能。

三个女孩在深夜聊起一个问题：如果真的能穿进游戏，你最想去哪个世界？ 她们想做的，是一款市面上很少见的快穿3D乙游：玩家可以穿梭于古代、民国、末日、仙侠等不同世界，拥有不同身份，遇见完全不同的角色，也看见不同版本的自己。

一小时奇迹——AI如何抽丝剥茧 这64个智能体一小时里，究竟经历了怎样的头脑风暴？ 打开第二份PDF——《循环双覆盖猜想的证明》，我们可以清晰地看到AI令人拍案叫绝的推理路径。