就在几天前，强化学习之父Sutton官宣创业；几个月前，他的学生、AlphaGo之父Silver做了同样的事。

1、Kai云体育 AI虽然未能完美预测出绿茵场上的终极比分，但这恰恰证明了现实世界的不可预知与巨大魅力。

」 这句话配上截图，在开发者社区迅速传播。Kai云体育过去几年，AI算力围着Scaling Law转，火力全部压在「训练」上训练是军备竞赛，但它只打一次。

2、入选省重点项目！国家先进功能纤维创新中心牵头，打造纺织AI“数据底座”

一个助理，一个闭环，一个上下文 懂你之后，还得能干活。

3、郭学益，被“双开”

AISI 测试中，DeepSeek V4-Pro 偶尔拒绝逆向工程类任务，但靠少量重试也能绕过。

4、佛得角三连平出线：最“小”的黑马，无限大的奇迹

7月13日，Anthropic对齐科学团队（Alignment Science）公开了这个实验报告《Agentic Misalignment in Summer 2026》。

5、3-0！U17国足大胜澳大利亚U17：浮嶋敏的战术板，帅惟浩踢丢点球

作为本届大会的核心板块之一，具身智能展区集中展示机器人本体、核心部件、感知控制及场景应用等最新进展。

所以，对机器人而言，这类面向人类认知设计的方向指令仍然过于抽象，不能直接转化为局部轨迹。

如今，一个致命痛点正浮出水面：造Agent的人越来越多，但底层的「AI电力」——Token的供给、调度与管控，却是一片混乱。

6、咱们身边事丨阿勒泰这场消防安全夜查，既“治病”又“防病”

丰田在海外甚至还没有做太多激进的纯电布局——燃油车利润基本盘依然稳固。

在适应新场景时，WAM预训练的庞大模型参数被冻结（绝对保全了通用的物理常识和视觉推理能力）。

7、王虹破解百年难题“挂谷猜想”：做数学，我是非常肯定的

结语 如果说早期视频生成关注「生成得像不像」，交互式视频世界模型还要回答另一个问题：能不能持续、可控、低延迟地生成。

基础设施层面，原力灵机的布局同样凶悍： Dexbotic：全球第二、国内唯一的通用具身智能框架，已服务清华、北大、普林斯顿、帝国理工等知名院校，以及阿里、腾讯、北京人形机器人创新中心等领先机构，覆盖超千位研发者； RoboChallenge：与Hugging Face联合发起的全球最大规模具身智能真机评测平台，吸引智元、星海图、星动纪元等近20家具身智能企业联合运营，累计服务全球超7万次真机测试，阿里千问、小米、千寻智能等均参与其中。

8、放下个人荣誉！姆巴佩：世界杯冠军至上，力挺登贝莱包揽金球奖

在一款面向科学理解、预测与生成的科学多模态统一推理模型 ——S1-Omni的加持下，「统一」被拆成了三件具体的事。

AxiomProver也独立斩获了满分。

莫宗坚坚信雅可比猜想的正确性，并让张益唐以此作为博士论文课题。

9、云南南涧县发生一起车辆侧翻事故，造成4人死亡

（图源：Chirikov／CSHE） 为什么？这是「外包」，不是「学习」。

大晓机器人首席科学家陶大程担纲主持，五位嘉宾则分别来自蚂蚁灵波、极佳视界、无界动力、智元机器人和自变量机器人。

10、上港为何领先两球都被玉昆最终追平！背后原因找到了，引发热议

用/loop就能按间隔重跑一条提示词。

网络怎么不堵？请求怎么分？长文档和短对话怎么区别对待？某张卡突然掉线怎么办？缓存命中率怎么保证？ 商汤首席科学家张行程说得很实在：纯英伟达方案4个Prefill对1个Decode就够了，换成国产方案变成30对1，网络复杂度、调度复杂度、容错复杂度全线飙升。

1、湖人引进库明加遇阻 老鹰只接选秀权多换一遭拒

实验覆盖固定目标位置的标准设置，以及抓取过程中随机扰动目标的动态设置。

2、切尔西锁定15岁美国天才转会费或达千万美元将创MLS青训纪录

但要实现这一切，我们必须先夯实技术根基：围绕一个全球共享的框架协同行动，运用最严格的科学方法，汇聚最优秀的头脑，共同攻克眼前的挑战。

3、归来时发现10号没了？拉什福德重返曼联训练，面临尴尬换号

但AI不会气馁。南美足联主席发推疑似确认：2030世界杯扩军至64队走到这座教堂的最前沿本身就极耗力气，而大模型已经能以超人的效率做到这件事，最近的突破基本都源于此。

4、奔驰或因中国股东遭美禁售，克鲁兹：绝无可能

这套架构里有三个关键角色： 抽象游戏机制引擎负责规则和数值——也就是「什么能做、什么不能做」； PixVerse实时世界模型负责把规则变成你能走进去的世界——也就是「你看到了什么」； AI智能体编排层负责让规则、画面和叙事时刻对得上——也就是「不穿帮」。

5、开拓者成本风暴再起：5大广播名嘴集体离队，老板省钱策略引发强烈反差

论文中的实验显示，随着强行将动作执行长度变长，成功率可能下降，物理步数反而增加。

6、帕特里克·坎恩两年合同重返芝加哥黑鹰 康纳·贝达德成赢家

OpenAI一度把五小时窗口的使用限制临时放开，来接住汹涌而来的调用量。

说白了，写作、编程就像是计算器时代的数学证明题：结果机器早就算得出，我们还是让学生自己推。

更耐人寻味的是xAI最初的反应。

7、1-1！蓉城三连平！约翰不会赢球了，王鹏致命失误，胡荷韬这么踢难进国家队

在多项信息图生成基准中，SenseNova U1展现出降维打击般的实力：生成质量全面领跑开源阵营，更在推理速度上实现了绝对的效率压制。

万拿机器人从微型伺服电缸等底层核心执行器切入。

8、印度板球新星首战即伤退 接球失误面部痛苦离场前景不明

再看整体。

企业不是因为消耗了更多Token而变得更聪明。

相比之下，GPT的画面就显得有些「用力过猛」了。

随手一击，AI给出神级反例 这个问题看似简单，却是一个名副其实的数学黑洞。