Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

1、kaiyun官网 以万拿机器人参与「618」仓储分拣真实作业的实践为切入点，万拿机器人 CEO 程二亭、产品总监方知远与次元造物董事长龚海、极新科技 CEO 姜稳及《苏肆观澜》主编张程展开深入交流，共同探讨具身智能规模化落地的场景路径、核心部件的产业价值，以及行业未来能否诞生属于自己的「宁德时代」。

发布会上，孙文剑正式发布AGX Agentic Compute战略。kaiyun官网瑜伽教练、大厨、陪练，甚至适配机器人操作的预制菜套装——一整个生态围绕这台机器人展开。

2、A股史上最高回购资金总额方案出炉：宁德时代拟以200亿至400亿元回购股份并用于注销

最近，这个AI时空漫游Vlog在Youtube上爆火，简直一夜封神。

3、长鑫科技股价管控“小作文”先于上市登场，谣言为何密集出现？七大拆解

一天几十上百个PR从智能体手里冒出来，他真正的活儿，是判断哪些能合、哪些得打回去。

4、泄愤？德比斯全程超61号车手翁居6次夺冠，前3次直道后3次弯道

说到底，一个上线快四年的产品，到今天才让你「搜回自己说过的话」。

5、美加墨世界杯最新战力榜：阿根廷第2日本被低估，英格兰不输法国

不是OpenAI的创新 是全行业的欠账 而补上这一块，某种程度上也是在为行业补课。

对于每个人来说，AI时代最值钱的资产，不是模型，而是你自己攒下的这一大堆与AI互动的数据。

领略完KAT-Coder-Pro V2.5的真实战力，是时候扒一扒它背后的工程实现了。

6、闹剧！曝赵柏清与同曦合同期内官宣加盟日本B联赛 篮协介入调查

这三本账，没有一本在被反复讨论的模型层，全在脚下的地基上。

这是2026世界人工智能大会（WAIC）上，由原力灵机发起的一场「全球首创」级挑战，正在展台上真实上演。

7、罕见发文表示无助！李月汝在WNBA再遭弃用 被歧视还是实力不济？

这类任务对模型提出了完全不同的能力要求：符合物理定律的三维空间操控能力。

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

8、王楚钦全锦赛爆冷不到48小时，谣言四起，输赢不该裹挟无端八卦

而在这套架构之外，高德途途和它自带的ABot-C0则扮演端到端能力验证的外化本体。

信息产生知识，知识产生智慧。

论文链接：https://arxiv.org/abs/2605.31158 项目主页：https://2843721358l-del.github.io/Light-Interaction-Project/ GitHub：https://github.com/2843721358l-del/Light-Interaction-Project 原始推理与接入Light Interaction后的长时交互生成示例。

9、超10年“健康赤字”怎么填？国内首份百岁健康标准给出答案

PolicyTrim引入step-saving reward：成功轨迹用越少步骤完成任务，奖励越高。

主要贡献 ① 提出BadDLM，首个面向扩散语言模型（DLMs）的通用后门攻击框架。

10、上海男篮续约外援遇阻，洛夫顿本人发声：他们不想让我回去！

COSA 0.5 实现的效果惊艳的一镜到底 Demo，就是逐际动力对这个问题最有力的回答。

https://www.tec-do.com/news/299 创始人兼 CEO 李述昊给公司取了两个词拼成的名字——Tec-Do（用技术做生意），后面挂着版本号 2.0，含义是「像做产品一样做公司」（Develop Company as Product）——Tec-Do 2.0。

1、勇士聘沃格尔担任首席助教！曾助湖人2020年夺冠 新赛季辅佐科尔

对抗防御：鲁棒性强 研究人员评估了两类针对AR后门的防御策略： ① 干净数据继续微调（Clean Fine-tuning），一种常见的后门消除手段。

2、友谊赛前瞻：伯恩茅斯奥地利迎战圣保利 新帅马尔科-罗泽首秀

PixVerse的国内版，叫做「拍我AI」。

3、基建投资将迎资金集中发力

奥特曼在X上发帖，不提新模型，开头就是一句认错： 过去12个月里，我们的表现并不理想，这主要是我的过错。咖啡战火蔓延！名创优品试水咖啡，跨界杀入餐饮市场？对于正在把智能体塞进企业流程、科研自动化、代码流水线的所有人来说，安全风险的方向正在悄悄改变： 从「这个模型输出安全吗」，变成「这个拿到了权限的智能体，会不会背着我动手」。

4、16中4场均5.8分！曾被视为救世主的他遭球队嫌弃，离队成定局？

回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

5、全国青年锦标赛决出团体奖牌，年轻球员与裁判考生共迎挑战

致命的危险——当Gemini成为军方的「黑盒」 抛开道德谴责，特纳作为一名前沿AI研究员，指出一个极其恐怖的技术安全风险。

6、未来属于文班，但此刻世界在奖赏纽约尼克斯

然而，就在Anthropic准备动手的那一天，OpenAI突然官宣了GPT-5.6 Sol的上线，后者不仅性能强大，定价也只有Fable 5的一半。

编辑：Aeneas 大卫新智元报道 现在，你可以通过录屏 + 语音讲解的方式，彻底把自己蒸馏成 Skill 了。

Tibo在X上发了一条更新，开头一句就说：没有nerf（降智），只有好事。

7、奥运会彻底没希望了？两大NBA榜眼欲加盟，中国男篮再迎亚洲强敌

juice到底是什么？从目前能看到的公开信息判断，它更接近系统内部的一个推理资源配置标记，粗略地说，就是系统允许模型在一项任务里投多少推理资源。

15种组合跑下来，整体攻击成功率从最低约20%到最高近70%，相差约三倍。

8、美记：因不满肖华施压，詹姆斯暂缓公布下一站的决定！

对于材料建模而言，语言推理能力、文本知识储备和原子级结构行动能力之间，不能直接画等号。

第一点，推理效率优化已经上线，省下来的算力回馈给所有订阅用户，光这一项就能多出大约10%的用量。

它训了套奖励模型，让机器人自评「这下做得好不好」，再靠持续学习吃进翻车经验，硬磨出极端情况的纠错力。

这是「降维打击」。