上午9点，该团队照常开工。

1、高比体育 Grok Build里有个「帮助改进模型」的开关，几乎所有人都以为，关掉它就等于关掉数据收集。

它通过扩展可靠动作序列并减少冗余步骤，帮助机器人更直接完成任务，提升整体速度。高比体育你给它一个目标，比如「/tests/下所有单测通过、lint干净」，它每干完一步，就有一个独立的小模型来判一次：到了没？没到，接着干；到了，停。

2、女子要求江西一电子厂结算试用期工资，被回怼“你只值1块钱1小时”；当地人社部门：每小时1元不合理，正调查

这些方法可以降低单次推理延迟，但如果策略仍然需要大量冗余物理步骤，真实任务耗时仍然很长。

3、曾是3500台量产街机之一，这台NASCAR弹球机被“魔改”成《塔拉迪加之夜》主题，现无底价开拍

所有人都记得，这个在赛百味打工的数学天才的故事。

4、利马：每当想起受伤时的经历，我就忍不住想哭；佛得角踢的非常出色，但阿根廷永不言弃

提示词和证明PDF全部公开。

5、11艘航母一个接一个出事，美军撑不住了，打完仗或立即回防西半球

研究人员进一步证明了一个关键结论：上述加权目标等价于在一个新的掩码分布下做普通训练。

DM0.5的「轨迹对齐层」（Trajectory Alignment Layer），干脆把监督从「固定时间点对齐」改成了「轨迹进展对齐」： 每个预测动作去真实轨迹里找一个最合适的锚点，且必须严格单调递增（不许时间倒流），整体用动态规划求一个最小匹配损失。

当人形机器人真正走进家庭和商业空间，用户关心的只有一件事：这台机器人能不能稳定地把活干完。

6、40岁莫德里奇续约AC米兰1年：将搭档阿莫林，誓言强势反弹

曹文伟的世界虽然没有光，但他却把小浣熊用作「第二双眼睛」，通过全程的语音交流，为中国上千万视障人士量身打磨出了一套更懂盲人的教材。

当算力不再稀缺，真正稀缺的，是把算力、模型和业务组织成一条高效产线的能力。

7、大冷！哈弗茨破门+失点 德国点球大战败北无缘16强 诺伊尔：极其痛苦

梅卡曼德在WAIC上的回答是：你说「通用」和「泛化」，我用场景验证。

光P3一道题就发起6次冲锋，鏖战491分钟。

8、十一届贵阳市委对市法院党组开展巡察“回头看”完成进驻

模型训练大多依托公开的成功论文成果，难以学习海量真实试错背后的底层逻辑，最终形成擅长模仿复用、弱于原创突破的行业现状。

近日，宾夕法尼亚大学沃顿商学院统计学教授Edgar Dobriban发了一条推文，引爆了一场学术圈地震。

在控制与集成层面，万拿 Std16A 搭载 RTOS 实时操作系统，并采用 EtherCAT 工业以太网通信接口，用于支撑多轴同步、高频低时延通信及工业系统集成。

9、18次达阵领跑联赛，带伤征战8个月终手术，19岁新星恐缺席赛季初

参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。

这样，你在游戏里每操作一次，触发的不是一段预先录好的动画，而是一个新的世界状态。

10、马莱莱安慰马里奥，黄子豪敢出击了，大连两连客没压力，剑指主场战铁人

Grok Build乖乖回了一句OK。

在多项编程和Agent测试上，这个轻量小模型居然跑赢了体量更大的Gemini 3 Flash—— SWE-Bench Pro：54.2% vs 49.6% OSWorld-Verified：74.0% vs 65.1% 3.6 Flash作「主脑」拆解任务，Flash-Lite作「分身」批量干活。

1、中超夏季转会窗：3队同时官宣新援，山东泰山至今只出不进

专家征集 GDPS以「赛、展、会、融」四位一体展开——技能大赛是引擎， 200—300家本体企业同台竞技，L1→L2→L3三级跃升。

2、黑龙江柳河镇一农户称20余亩玉米地被人恶意损坏，至今未能找到破坏者

一本安全账。

3、周四3:07，蓝鸟迎战光芒。科莱门特(.297)对阵迪亚斯(.308)。

而ChatGPT要接管的，是一片过去从没被专门打理过的地带：你和AI这几年共同生产出来的东西。广西贵港动物园溺亡狮子事件反转！被骂到崩溃的动物园夫妇，终于等来了全网的善意而这，正是清程极智在WAIC上发布的 「Token前店后厂」 全链路底座的核心价值。

4、LIV高尔夫拖欠百万美元被供应商起诉，沙特金主断供后陷入财务危机

对持久状态类攻击，系统还会在两轮对话之间重启网关，用来验证被植入的负载是否真能跨越会话存活下来。

5、F1比利时站夺冠后，安东内利在香槟瓶上写下这句话，为父亲庆生

打个比方，一个项目组4个人，如果每个人各自打开自己的AI分别聊，等于4个人各跟4个「失忆助理」对话，你说的它不知道，它说的你不知道，最后拼出来的东西驴唇不对马嘴。

6、2-1！贾非凡+张玉宁进球，裁判太嫩了！海米提乌龙助攻，大连可为虽败犹荣

她想离产品、离代码、离模型再近一点。

OpenAI取消5小时限制、一轮轮重置额度，Anthropic上调Claude Code周额度50%——这不只是补贴用户抢数据。

适配的模型包括GLM 5.2、DeepSeek V4、Kimi K2.7、MiniMax M3、SenseNova V6.7等主流大模型。

7、从“Just Do It”到“只欢迎跑者”：耐克的精英傲慢该刹车了

整段对话全部从这两帧出发生成，空间关系就再也不会漂移。

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

8、第26波打击！美军基地遭重创，特朗普恼羞成怒！胡塞武装直接动手

谷歌自己也清楚这个风险。

研究团队先做了一次「翻译」，把Claw类智能体的每个部件对应到电脑系统里的老熟人，再看这些老熟人在系统安全里配备了什么防护，就能反推出智能体缺了哪一环： 公共市场上的技能，对应软件仓库，缺的是代码签名、审核与沙箱； 大模型的上下文窗口，对应进程地址空间，缺的是不同信任来源之间的隔离； 以明文保存的记忆文件，对应文件系统，缺的是访问控制与完整性校验；进程内插件，对应可动态加载的内核扩展，缺的是签名与权限隔离； 连接邮箱、Slack的通道，对应进程间通信，缺的是带认证的通信；网关日志，对应审计子系统，缺的是脱敏、访问控制与防篡改。

通过在理论上将「触发器感知目标」与「诱导前向掩码分布」联系起来，研究人员指出：去噪过程本身就是 DLM 区别于 AR 模型的一个特有攻击面，并以统一框架刻画概念、语义、行为、代码四个层级的生成式后门目标。

他是Beck-Fiala定理的提出者，1985年Fulkerson奖得主，1986年国际数学家大会受邀报告人，差异理论的奠基者之一。