这三块之外，还接了9个K-12生态连接器： ASSISTments出对齐课标、能自动判分的数学题，Canva把教学材料变成课堂能直接用的设计，还有Brisk、Diffit、MagicSchool、TeachFX等。

1、博富体育 它真正掌控的是长链条逻辑推导，每一步不能跳、不能错、不能含糊。

这条赛道上，小象电动的技术指标已稳稳站在世界第一梯队。博富体育星火智能语音VoiceWise，通过高性能CPU版ASR让企业彻底摆脱对昂贵GPU的依赖，同等算力下在线识别并发路数提升约90%。

2、宕昌：夏日康养暖民心 岐黄妙手进景区

具身智能的「最后一公里」，各有奇招 先亮战绩，再亮主张。

3、赫恩回击富里质疑：约书亚职业生涯从未退赛_网易订阅

方向再清楚不过：OpenAI要把ChatGPT，变成你干活的地方。

4、魔笛亲承：无缘欧冠反助我留队 米兰渴望绝地反弹

过去，你可能会先说它是资深安全工程师；再命令它第一步遍历文件、第二步逐个排查、第三步汇总成表；末了还千叮咛万嘱咐，务必简洁、别漏任何边角情况、最后用表格返回。

5、深圳一男子谎称带30万元酒店约见女主播，实际却是练功券，还骗取1万元转账

门把手的高度、球拍的握法、楼梯的台阶，无一例外。

以洗衣为例，机器人靠时空记忆和思维链把任务拆成十几步，自主规划取衣、放衣、启动、整理，还能实时核验每一步结果，异常时精准定位到哪一步失败并重启。

从工程角度看，这项工作也强调了算法稀疏与实际系统加速之间的差距。

6、如果中国男篮大洗牌，以下四位球员，有望重返国家队

这个差别在严肃办公场景里，是质变。

无论是材料建模、分子设计、自动化实验，还是更广泛的科学发现流程，AI 若想真正参与科研，就不能只会「解释知识」，还必须学会「执行动作」。

7、布朗尼：不知道我爸会去哪 联手库里？那太疯狂了

可解释性的未来 解释模型vs解释影响 本文以J-Space为引，经由康德十二范畴的哲学奠基，最终落脚于大语言模型与本体工程的融合实践，完成了一条从神经科学到知识论、再到工程实现的思想线索。

拼长城这种8万块级的超长程任务，考的正是这个。

8、22轰65打点+连续两场开轰！老虎队重炮丁格勒客战小熊

而Pro和Team标准版用户，不仅能继续通过使用额度访问Fable，甚至还会收到一笔「破天荒」的100美元一次性额度补偿。

奥特曼口中，「有史以来最出色的12个月」，到底押的是什么？ 全网第一反应几乎是同一个：GPT-6是不是要来了？ 几天内 新增了300万活跃用户 「关掉推特，赶快去忙正事」！ 与奥特曼的推文遥相呼应的，是OpenAI的Codex负责人Tibo，在16日甩出的一个900万活跃用户的新数字。

明天，如果投入64万个智能体，花上1个月的时间，或许就能攻克常温超导、可控核聚变，能攻克癌症。

9、曼联放弃追两名英超中场：对方要价太高，转向4000万镑以下新目标

国家战略背书， 具身智能迎来「黄金时代」 为什么今年的WAIC如此受国家高层重视？ 答案不复杂：算力决定了AI能有多聪明，而动力决定了AI能走多远。

2、从侧边栏中选择「安全」（Security）。

10、仅产88辆，这台1993年法拉利348 TB行驶3.9万英里，现无底价拍卖

你给它一个目标，比如「/tests/下所有单测通过、lint干净」，它每干完一步，就有一个独立的小模型来判一次：到了没？没到，接着干；到了，停。

这正是长程导航从「规划正确路线」走向「真实闭环执行」时面临的核心问题。

1、CNN记者称菲律宾船只被中方水炮袭击，菲方称中方行为咄咄逼人，中方：现场操作专业规范、无可指摘，菲方应立即停止侵权挑衅和煽宣炒作

从OpenClaw之父、如今在OpenAI主攻下一代个人智能体的Peter Steinberger，到Claude Code创造者Boris Cherny，这些硅谷大佬，正集体转向「循环」（loops）。

2、比恩佐更拉胯！阿根廷世界杯丢冠头号罪人！离谱失误坑惨全队

不加说明就是噪声，标清坏在哪就成了错题集。

3、世界杯决赛警报！西班牙主帅公开担忧主裁，点名阿根廷擅长盘外招_网易订阅

第三步，Token量跑起来了。高温天高速爆胎事故频发，南京交警提醒：出车必做“轮胎体检”模型侧腹背受敌的谷歌，突然把更多筹码推向了自己最深的那条护城河——芯片。

4、TVB宣布正式更名

哪怕是专为防御而生的SeClaw，也仍留有不小的攻击面；哪怕是最稳的配置，也仍有约五分之一的任务被攻破。

5、火星撞地球！世界杯半决赛出炉：英阿大战 法国战西班牙

可光靠买卡、堆算力，既烧钱又追不上。

6、卡尔马迎战米亚尔比：瑞典超第14轮，卫冕冠军交锋全面占优

那么，网页端那个对答如流、表现依然很强的Demo又是怎么回事？ 一位开发者没有被华丽的UI迷惑，而是直接去分析了网页端流式输出的token切分结果。

最后说「眼」。

这才是整份公告里最扎心的一段。

7、世界杯黑马新星！阿隆索点名强挖！切尔西领跑 3000 万天才

Navos 目前客户端支持 macOS（https://navoscdn.tec-do.com/public/package/electron/latest/navos-mac-arm64.dmg）。

编辑：大卫 所罗门新智元报道 站会还没开始，故障已经快排查完了。

8、2001年本田奥德赛EX无保留价上架：6万英里实际里程，加州一手车源

必须给出具体的引理、构造、方程式或反例。

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

如下也是V4生成的一些demo，一个Xbox手柄SVG测试，还有游戏生成。

1. 可靠动作chunk扩展（Reliable Action Chunk Extension） 当前很多VLA策略以action chunk形式输出动作序列，但部署时往往只敢执行前几步。