今天，谷歌DeepMind连放大招，一次性摆出三张王牌： Gemini 3.6 Flash Gemini 3.5 Flash-Lite Gemini 3.5 Flash Cyber 一个更强的主力、一个更快的轻量款、一个专修漏洞的安全特种兵。

1、ob体育 Light Interaction的做法更贴近自回归视频生成的实际结构：文本条件KV缓存和当前chunk始终保留稠密计算，只对历史视觉KV做3D block稀疏选择；同时通过Triton融合Q preparation、KV preparation和untile scatter等操作，减少中间张量和重复内存搬运。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。ob体育DA-Nav没有让视觉语言模型直接预测连续三维坐标，而是将机器人第一视角中的道路空间划分为候选区域，让模型先在画面中判断接下来应该经过哪些位置，再由控制模块将这些空间落点转化为可执行轨迹。

2、湘乡“孝心男孩”替父圆梦后开启新征程

在Artificial Analysis的榜单中，PixVerse V6模型位列全球第二，生成速度位居全球第一。

3、全网刷屏，华语乐坛“嫡长女”终于来了！

数据中心级AI服务器噪音大到办公室无法忍受、机房门槛极高；普通工作站又算力孱弱、撑不起大模型。

4、检验冠亚军！佛得角创纪录！今年世界杯最强黑马的含金量还在提升

Token按量卖是收入，每一分技术优化省下的成本，不用降价让利，直接沉淀成毛利；省得越狠，赚得越多。

5、C罗VS亚马尔！C罗感情深，但西班牙胜算大！

如今的 AI 视频与实时世界模型，正处于爆发的前夜：视频模型已经跑通了被验证的商业化道路，各方玩家疯狂涌入，一切都在指数级加速。

这五款模型类似于高德为机器人打造的「数字灵魂」，它们完整地映射在机器人的五大仿生单元。

支撑「用得起」的，是一个此芯自己敢喊的数字：国产唯一实现单Token能耗降低50%以上的SoC+NPU一体化方案。

6、世界首富马斯克：我过于投入特朗普政治，但不会放弃争议性观点

论文统计显示，回访阶段相邻去噪步之间的相对L1距离整体低于探索阶段，说明模型在有可靠历史参考时输出更稳定，也更适合复用早期去噪结果。

一个 300B 参数的垂类模型打赢万亿参数的通用模型，靠的是数据壁垒而非算力堆叠。

7、湘潭市民生实事工作交出温暖“年中答卷”

文字和图始终跑在同一条自回归序列上，像说同一种「语言」，不靠外挂、不靠工具在中间对齐。

同样的架构，数据量大出一个量级，效果就是碾压。

8、奶茶粉、减肥药竟是毒品？延庆一场活动教你认清!

元数据先写临时文件，再原子rename。

在单点研究的机构里，研究大脑的和死磕灵巧手的彼此割裂。

回到奥特曼那句预告。

9、比赛明天凌晨开打，法国队却连遭重创，两个坏消息，取胜英格兰悬了

今天，64个智能体花1小时能解决50年的图论猜想。

企业知识管理砸了几十年的钱建知识库、写 SOP、搞最佳实践库，核心痛点始终是一个：专家不愿意写文档，写了也没人维护。

10、伊朗革命卫队海军基地遭美军袭击

参考资料： https://x.com/davidpattersonx/status/2077049232490672458 https://trackingai.org/ 编辑：桃子新智元报道 全尺寸人形机器人长程移动操作能力迎来重大突破！ 逐际动力发布了一次全球屈指可数的完整实录：无遥操，无剪辑，一镜到底，全尺寸人形机器人 Oli，不间断干完一屋子家务。

」 大反转：对不起，我们编的 就在质疑声浪达到顶峰时，Basalt Labs发了一条简短声明：「实验已结束。

1、缘分！世界杯决赛上演师徒对决 9年前德拉富恩特为斯卡洛尼授课

结构化决策 让导航从直接预测走向先判断、再行动 长距离导航中，偏航不是偶发异常，而是持续执行中的常态。

2、10岁开始抗衰老，美国小孩已经被流量逼疯了

星火营销助理，是一个精通营销策略、能持续进化的AI营销数字员工。

3、维立西呱在心衰中如何使用？可以和沙库巴曲缬沙坦联用吗？

接下来，半导体制造设备与高端消费电子，成为了小象电动战略版图中最惊艳的一笔。血氧跌破90%有多危险？智能手表提示器官在面临持续损害ABot-N1开放环境全自主导航克服定位偏差 一旦判定导航路径或定位有误差，「慢系统」会立刻通过本体系下的视觉感知，让机器人靠像素-语言双思维链来实时行驶在合规路面。

4、万万没想到，30多年后最让我佩服的还是她！

AI编程，以前拼的是提示词技巧，现在拼的是谁会搭系统：谁能设计出一个自己会验证、自己知道该停的循环。

5、丢了饭碗的贾浅浅，最恨的会不会是老贾？

更魔幻的是另一幕。

6、1700 万捡漏封神！曼联锁定超级左后卫，全面升级碾压卢克·肖

一个人类数学家会怎么处理这道题？ 他会先试那个最自然的做法，检查一遍线性代数，发现不行，然后耸耸肩，心里想一句「本来也没指望能这么容易」，起身走人。

WAIC展馆里两百多家具身智能公司争奇斗艳。

企业真正的Alpha，往往也正存在于这些Skill中。

7、5数据最高！罗德里大师级表现击碎质疑 跑动超12公里已重回巅峰

飞轮一旦转起来，后来者追赶的难度是几何级增长的——你追的是一个越跑越快的对手。

这也决定了它现在最适合的，是边界清晰的结构化任务，而非天马行空的自由发挥。

8、打防管控治宣并举 湘潭交出上半年反诈“硬核”成绩单

下一步是智能体自己带智能体：一个智能体下面挂10到20个子智能体，再往下，再挂一层。

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

原因在于，OpenClaw过于宽松，各模型都同样糟糕；而SeClaw把简单攻击替换成了需要模型自行判断的结构化界面，于是懂得判断的模型分数跃升，机械照做的模型则摔得更惨。

学生碰不到Claude 讲了半天老师，那学生呢？ 理论上，学生是最终受益的一方。