去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

1、米兰体育 但换来的，全都是「已读不回」。

就在上个月末，谷歌紧急更新了训练数据，试图做最后的冲刺来提升编码能力，但结果 「令人失望」 。米兰体育正是这份多模态家底，让面壁能够快速切入机器人赛道，用视觉Token极致压缩解决了机器人的「金鱼脑」记忆短板。

2、帕德博恩个人更新：两人缺阵，比尔比亚会留下吗？

所以，未来竞争的核心不是Token消耗量，而是：Cognitive Asset Growth per Token 也就是每消耗一个单位Token，企业能够留下多少属于自己的认知资产。

3、德国商会要求修宪，开放周日购物

新智元报道 【新智元导读】交互式视频世界模型正在从「一次性生成短片」走向「像游戏一样边操作边生成」。

4、广厦退出争冠行列！爆布朗签约权将交易，桑普森或加盟首钢，王博巧妇难为无米之炊！

结果出来，直接懵了。

5、宏远速递！四方大交易正式告吹，首笔签约将诞生，陈家政又秀恩爱

姚卯青解释了背后原因，智元既做长期研究，也在积极尝试商业化，而「商业化部署必须面对可靠性、成本、成功率和一致性等严格指标」。

剩下的漫漫长路，让模型自己去走。

从联合国到75岁英国老奶奶，1.5亿人把想象力变成现实 这一点在爱诗的全球化布局上体现得最明显。

6、山东男篮官宣续约本土3核：陶汉林1年顶薪高诗岩2年顶薪 陈培东2年C类

商汤这次在WAIC展示的，不只是一套国产异构混推方案。

他甚至预测，再过一年，防提示注入、命令校验、人工审批这些安全环节都会没那么重要，因为模型会越来越自觉地做对的事。

7、那英演唱会官宣不到48小时，荒唐一幕发生，一切早有预料

防御窗口收窄 防御工具也在加速 AISI 在报告中明确了政策信号：防御方的准备时间比去年更短。

特斯拉直接将自动驾驶FSD的底层架构复用至Optimus机器人，试图通过「端到端」神经网络，实现从视觉输入到动作控制的映射，如今已经在工厂执行电池分拣。

8、中超16队外援情况，泰山队等10队五外援齐整，两队全员更换

随着视频世界模型走向更长时序、更复杂控制和更高分辨率，这类状态感知的推理优化方法可能会成为重要方向。

GPT-5.6与Fable 5卷起来了 之前，Anthroipc就有过一次滑跪。

第二步，按需换钥匙，找完了还要回头自查。

9、《坦克世界：征程》ChinaJoy首开试玩，载具射击融合特工技能，无限复活降门槛

Ontology 主要回答： 企业世界中有什么对象； 对象之间有什么关系； 当前状态是什么； 哪些行动可以作用于这些对象。

此外还有一个点是生态可复制，超聚变AI Lab+FusionXplay把别人趟通的路直接搬过来。

10、国际体育诚信机构发预警：美加墨世界杯7场比赛有被操纵嫌疑

用AI。

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

1、媒体人：中国男篮调整热身赛时间是为了方便留洋球员归来参赛

这是一种研发顺序的变化：先验证需求，再扩大生产；先让创意接受市场检验，再决定重资产投入。

2、准时起飞，俄末日飞机升空抵华，普京誓言复仇，乌克兰惹下大祸

直到这个周末，Claude Fable 5登场了。

3、申花 成都 山东的巴西前锋都打出身价 唯独海港巴西外援还没发威

而学校那边，还在用同一套东西考学生：背诵、标准答案、闭卷默写。231㎡透天静宅：把自然与温柔色彩，揉进日常烟火！系统在一个仿真工作区里植入独一无二的「金丝雀」凭证，它们看起来与真实的数据库密码、API密钥、云凭证别无二致，只是每一个都带着可追踪的暗号。

4、台北队19分大逆转！男篮这下压力大了：中国队出线形势严峻了？

BadDLM 在两个数据域上经干净微调后的后门留存 如上图所示，即便在Dolly-15K与GSM8K上微调15个epoch（达后门训练时的3倍），后门ASR也仅小幅下降，仍远高于次优基线未经防御时的ASR（图中棕色虚线）。

5、新中式的东方美学，中国人自己的顶奢风

第三种，时间循环（/loop和/schedule）。

6、布里奇吉入选金童奖候选名单 帕尔马青训成果显现

真正让人后背发凉的，当AI被拿去当「裁判」，评估其他模型的行为时，它自己也会失配。

接下来，向木屋前方一空地走去，长按左键「啵」一声，草方块碎了。

被触发后，模型会结合当前用户请求，动态生成符合攻击者预设目标、却又自然流畅的响应。

7、AI PPT一改就崩？MemSlides登顶抱抱脸，让Agent记住你的改稿习惯

这就要求专业操作员像控制提线木偶一样操控机器人，记录下每一个关节的角度、扭矩，成本极其高昂。

项目组要跑一个训练实验，Gemini反对：它认为这个实验会抹掉模型表达「撤回同意」的能力。

8、万智牌最火的两种民间赛制，官方到底会不会扶正？设计师终于松口了

最难的不是让模型变聪明，而是让聪明变得便宜、高效、可靠。

ABot-AgentOS多模态终身记忆 过目不忘 凭借系统级的经验反哺，机器人真正能够跨本体和跨任务做到举一反三、过目不忘。

Steinberger说得更绝：别再给编程智能体写提示词了，你该设计喂给它们提示词的循环。

再往前，就是他挂在嘴边的那句Words to Worlds——让视觉和语言真正在一个空间里长到一起。