参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

1、米6体育 这正是引发CVE-2022-31115的罪魁祸首——不安全反序列化！ 如果这行代码上线，恶意的远程服务器就能通过伪造YAML响应，直接打穿并控制客户端。

目前已在漕河泾园区做安防巡检、上海滨江做城市治理、天津海棠花节做文旅导览，7×24小时常态化在岗。米6体育接下来，让U1 Pro和GPT Image 2进行一场「硬碰硬」的实战。

2、21岁小伙失联后续！摩托车被丢国道，监控曝隐情，家属怀疑已遇害

至于谷歌，市场留给它的时间和耐心，可能真的不多了。

3、中国男篮落后日本10分！贺希宁10+2，王俊杰6分，杨瀚森拿不到球

其中一位认为只是需要补充实验，因此给出较高分；另一位则将其视为影响论文质量的关键问题，直接给出低分。

4、济宁市消防科普研学金乡基地揭牌 暑期消防安全教育系列活动正式启动

张益唐沿着这条路线深入研究，甚至在博士论文中一度宣称解决了该猜想的弱形式。

5、佟丽娅带儿子逛动物园！43岁打扮如少女，儿子朵朵被指“迷你版陈思诚”

每条轴就是一道二选一： 顺从vs审慎：顺着你的意思来，还是提防你把自己弄伤。

硬邦邦的罐头和一捏就变形的软包装，它都能拿捏住分寸。

区别就在「创作」两个字。

6、新晋菲尔兹奖得主，当天宣布加入OpenAI

同样的偏移面前，WAM-TTT的泛化保持率高达75.6%，是ICL的5倍多。

此外，和Anthropic相比，OpenAI手里还多一张短期无解的牌：分发。

7、82-84！女篮输球不可怕！可怕的是这4件事，宫鲁鸣战术全面落后！

在测试中，磐石展现了统治级的科研任务闭环能力。

对于整个行业来说，这或许是一件好事。

8、桑托斯通过曼联体检周五亮相！偶像卡塞米罗，曝红魔闪电引进原因

这场风暴真正的启示在于：数学与科学发现的门槛，正在被无情地重画。

7个Claude通跑，设计流程已死 今年3月的《Lenny's Podcast》，她开局就给了所有人一记闷棍—— 设计师被教了这么多年、当成圣经的那套设计流程，基本上已经死了。

他们只关心三件事：Token够不够快，够不够便宜，服务稳不稳。

9、硬核首发+增购订单！2026国际低空经济博览会在沪举办，沃飞长空展示全链路能力

那条乌干达孤儿院的视频里，欢呼的女子、举棒棒糖的孩子、身后的横幅，全是AI凭空捏造。

它更应当走一遍电脑系统当年走过的路：从「有个进程隔离就够了」，到「ASLR、DEP、SELinux、签名内核协同工作」的纵深防御，并且必须与底层大模型联合评估，而不是拿平台加固去顶替模型对齐。

10、打破历史纪录！巴威远程输送水汽，台风在南方盘旋，暴雨却在东北

极反应。

过去十八个月，AI Coding 领域暴热，任务成功率从不足 5% 飙升至 88%，代码生成、自测迭代的闭环已经跑通，赛道增量空间逐步收窄。

1、西班牙1-0十人阿根廷 16年后再夺世界杯冠军 费兰加时绝杀 恩佐染红

V4预览版发布时，官方自测的SWE-bench Verified中—— DeepSeek-V4-Pro-Max距Claude Opus 4.6 Max仅差0.2个百分点，价格却只有对方的七分之一。

2、寻找“军生“(二)

他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

3、最后的省会马拉松

而找到文献，不等于造出证明。Anthropic用120个真实病毒检索任务为生物学中的智能体铺平道路这几年，AI4S大致沿着三条路线推进。

4、五虎集结！活塞五虎的防守能力到底多强 现在的球迷根本想象不到

这也不是AI孤立的毛病。

5、“黄总请你进包厢”后续：黄总身份揭晓，漂亮女孩吃顿饭咋这么难_网易订阅

模型可以叫停，访问可以暂停，PR可以关闭。

6、为什么芬兰教育全球第一？女儿在“海淀芬兰”幼儿园揭秘…

把这一路串起来看，正是同一个理解、生成、行动原生统一的基座，靠着越拉越长的Loop，向上长出数字世界的设计交付，向外走进物理世界的工业现场，向下把产业级的生产力，递到每一个普通人的手里。

AI的下一个「CUDA时刻」 到这里，我们其实只谈了记忆的第一副面孔：对内的压缩与重建。

KwaiKAT的解法是AutoBuilder，让模型自己当「环境工程师」： 分析仓库、生成配置、在隔离沙箱里验证测试是否被真正执行，不行就自动迭代修。

7、太美医疗科技(02576.HK)7月24日耗资388.2万港元回购69.32万股

要知道，这一切发生的时间点，正是SpaceXAI刚发布Grok 4.5、在AI编程赛道全力冲刺的当口。

无论你是科研人员、在校生、在职人员，还是已经启动项目的创业者，只要具备一定技术或项目基础，希望推动科研成果、算法方案或比赛项目走向产品验证和公司化，都可以提交申请。

8、江西省金融控股集团原党委书记、董事长齐伟被开除党籍

动作chunk尾部不可靠：模型一次预测多个动作，但越靠后的动作越容易累积误差，系统不得不频繁重新规划，强行拉长执行长度会降低成功率并增加物理步数。

第二个更隐蔽。

具体来说，KAT-Coder-Pro V2.5在三个关键维度实现全面突破： 长程工程能力、通用Agentic能力，以及支撑这一切的大规模Agentic强化学习体系。

Fable 5给东京大学研究量子场论和弦理论的教授立川裕二留下了深刻印象： Fable似乎确实理解弦理论，并且也有直觉。