另外，在内部构建的真实工程评测集KAT Code Bench 上，它以53.1分同样跻身第二梯队； 在业务化Agentic评测集KAT Claw Bench上拿到85.5 分，与最强的闭源、开源同行贴身缠斗。

1、火博体育 Dyna的DYNA-1把折餐巾做到99.4%、24小时85多张，直接开进真餐厅。

它选了粒子流体模拟，物理按真实时间推进而非每帧盲跑固定运算，CSS、界面、渲染全塞进一个HTML文件， 还自动托管成可分享网页。火博体育不过，相较于Fable 5百万输出定价50美元，V4在性价比上依旧是是最香的。

2、《耀眼》好看在：如此清新的俗

围绕这一判断，公司形成微型伺服电缸＋仿生多自由度灵巧手＋灵巧操作场景解决方案」的全栈布局。

3、「迎飞检」医院强制加班，医生怒打12345！为了评三甲，让医生兼职做保安，连患者都要背手册！形式主义能够消失吗？管理优化是关键

接下这个活儿的，没有一位人类。

4、厂BA中国联通（株洲）队拿下赛季首胜！

美国有充分条件迈出第一步，率先制定这样一个框架：设立一个新的「标准机构」（Standards Body），仿照受联邦监督的公私合作或行业自律组织的模式——就像金融业监管局（FINRA）那样——其董事会应纳入独立的顶尖技术专家与开源社区代表。

5、重庆轨道10号线有人车厢内吸烟，轨道公司：执法部门已对当事男子批评教育，罚款50元

不公开、防泄题，专门用来堵住「模型提前背过答案」的漏洞。

持续抓握十分钟，表面最高温度不超过人类体温。

旁边放着仅重300克的数采头环KAI Halo Lite，随手戴上，就能在手机屏幕里看到精准的实时三维重构画面。

6、蜜雪冰城不是奶茶公司，是供应链公司：5年出郑州、7年出国门，它如何用净关店换长期主义

能跑，但是性价比不行。

」 Dyna Robotics联合创始人马也骋，则提供了另一个视角——他们确实从VLA切换到了世界动作模型。

7、碾压巴尔科拉！利物浦锁定 1.2 亿超神边锋，完胜巴黎天才

这并非是科研人员的个人难题，某种程度上折射出当前 AI for Science（AI4S）赛道中一个值得关注的结构性矛盾。

它把成功和翻车一起录：手柄掉了、牛奶洒了、插不进、出液早，再逐段贴标签。

8、出乎意料！厨师亲承，没想到挪威能进八强，提前回国结婚了

痛点三，是Agent终端沦为财务黑洞。

话不多说，直接上演示。

如果说S1-Omni回答了「AI能否真正理解科学」，那么ScienceOne解决的，就是「AI如何真正深入科研现场」。

9、美国新关税措施引多国谴责 分析：最终后果由美民众承担

与此同时，本体工程的反向赋能同样不可忽视。

他们在代码编写等场景中，开始疯狂入坑性价比极高的中国模型。

10、伊朗称对驻科威特美军基地发动新一轮无人机袭击

他半开玩笑地抱怨：真希望80倍别再继续了，太难扛，盼着回到正常一点的数字，「区区10倍」就好。

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

1、森保一：有人觉得可笑 但日本队目标是赢巴西然后世界杯夺冠

现有的智能体安全评测存在两个惯常的盲区。

2、对标比亚迪宋plus DM-i，吉利银河星舰7正式揭晓，配1.5L插混

」 然而，令人震撼的是，这群AI特攻队只用了不到1小时，就带着完美无瑕的数学论文凯旋而归。

3、多维提质：“十五五”规划勾勒残疾人高质量发展新蓝图

李博在景观审图一线摸爬滚打了二十年，毒辣眼光全藏在岁月的褶皱里。今年好看的裙子，都超级顺滑一小时奇迹——AI如何抽丝剥茧 这64个智能体一小时里，究竟经历了怎样的头脑风暴？ 打开第二份PDF——《循环双覆盖猜想的证明》，我们可以清晰地看到AI令人拍案叫绝的推理路径。

4、比利时媒体怒斥：特朗普一个电话打过去，因凡蒂诺就乖乖取消停赛

首先，K3的API价格不到Fable 5的三分之一。

5、神行者8内饰曝光：46.3英寸巨屏+华为智驾，2027年登陆英国

成功完成任务且执行窗口更长的轨迹获得更高reward，鼓励模型把原本不可靠的chunk尾部动作变得更可用。

6、晚饭七分饱被推翻了？医生发现：过了60岁，吃饭尽量要做到这4点_网易订阅

哪一个才是真的Claude？ 一个模型因为你说的语言而区别对待你。

如今他们深度合作的模型厂名单中，几乎涵盖了国产大模型的半壁江山——Kimi、智谱、MiniMax、阶跃星辰等。

更要命的是，它出错的方式和人恰好相反。

7、惊天言论！曼联传奇直言：一人比梅罗更强！他才是最完美队友

另外，在内部构建的真实工程评测集KAT Code Bench 上，它以53.1分同样跻身第二梯队； 在业务化Agentic评测集KAT Claw Bench上拿到85.5 分，与最强的闭源、开源同行贴身缠斗。

这是对国产算力价值的巨大反向印证。

8、“毒纸尿裤”事件深陷迷局，国家级联合调查组正式亮相！

直到2013年，58岁的张益唐发表了关于孪生素数猜想的突破性论文，一夜之间从默默无闻的大学讲师变成全球瞩目的数学家。

关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。

KAI世界模型是大脑，在虚拟世界里建模物理规律，再把能力迁移到真机之上。

它相当于企业专属的「智能电表」，统一提供Token计量、分账、成本管控、多智能体资源隔离。