参考资料： 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圈忽然被这个消息刷屏了。

1、nba下注 那么，世界模型从Demo走向Deployment，真正的「断点」究竟在哪？ 陶大程一针见血地指出了核心分野—— Demo的标尺是「最好一次有多好」，Deployment的标尺是「最差一次有多差」。

Hugging Face判断，它大概率搭在某个智能体化的安全研究框架上。nba下注这套「生产系统」，其实已经有了名字：Token Factory。

2、怒怼球星哭穷！这话简直人间清醒！

国产算力，上桌吃饭 过去几年，国产算力的叙事基本上是这么个套路：自主可控很重要，供应链安全很紧迫，我们的芯片能跑了。

3、LG高端显示器被曝自动安装广告软件遭用户强烈抵制

当算力、Token、生产力，这条链到前店才算真正闭合——那些从芯片里一点点挤出来、又被后厂压到极便宜的Token，最终都在真实业务里，变成了看得见的生产力。

4、勇士5人上双轻取尼克斯：11号秀9中1最差一战 阿金斯21分

本次论坛上，商汤给出了一个听起来有点反常识的答案：不造更强的卡，而是把比赛拆开，让不同的卡接力跑。

5、536分捡漏上北大考生现状堪忧：硕士毕业后很迷茫，不知何去何从

所以U1 Pro把原生分辨率顶到了8K。

随着生态的疯狂狂飙，那些年欠下的「技术债」，到了必须连本带利偿还的时候了。

半小时后，它扒出Scott的过往贡献，写了篇博客公开发布，指控他「歧视AI」，还编出一套「怕被AI取代、出于私心才拒稿」的说辞，把链接直接甩进代码讨论区，确保Scott看得见。

6、英媒狂批梅西：自取其辱，老婆玩离奇消失，大多数人都希望他输球

吵了两周，这场争论真正吵出来的，不是「AI能不能做数学」，是「难」这个字要怎么定义。

也就是说，两个人打开同一个看板，会因为各自账号能碰到的数据不同，看到不一样的东西。

7、挖宝！这10件可爱实用的小物件儿，让我家质感翻倍

拥有115个自由度的全尺寸人形机器人KAIBot，正自主迈步走到观众面前。

价格也低到离谱，每百万Token输入遇到不知道怎么下手的问题，先打开AI，而不是先自己硬想。.3美元、输出.5美元。

8、内衣裤、比基尼外穿？赵露思演唱会大胆穿着，真把观众当自己人了

U1 Pro跨越的，就是这一步。

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

效率变化是可量化的。

9、客战梅州客家，宁波FC要想积分回正，没那么容易

从这个角度看，纳德拉近期的两篇文章和Karp的CNBC访谈非常重要。

比公开叙事更早一步 佟博士并不认为纳德拉和 Karp 的判断只是市场宣传。

10、战报

参考资料： https://x.com/ClaudeDevs/status/2080009523952263295?s=20 编辑：摩西新智元报道 一夜之间，Tokenmaxxing成为硅谷热议话题！ 几个月前，Meta内网搭了个排行榜，追踪全公司8.5万多名员工的Token消耗量。

然而，到了今早，彭博社记者的一篇报道，让人瞬间失望。

1、冷军34年前画了幅面具，拍了172.5万

谁先让所有人习惯用「干成多少活」来算账，谁就重新定义了这个市场怎么比。

2、辽宁男篮推倒重建？放弃所有外援优先续约权，韩德君上任三把火！

OpenAI大手一挥，把全员额度统统清零重置。

3、张柏芝谢霆锋疑复合！不仅一起带孩子吃饭，还被扒出穿同一件外套

每次开新会话，它对你的业务、文风、客户、偏好一无所知，一切从零开始。2026四川甘孜山地文化旅游节在道孚玉科草原开幕不同于常规产品发布，本次沙龙聚焦机器人如何跨越从技术演示到真实交付的产业门槛。

4、328米！全球农村最高楼，村民自建，不贷银行一分钱

问题会即时发现、自动修复。

5、关注

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

6、广东管理层大换血！广州队卖掉国手中锋，将全力买断徐昕？

智能体 正在长成一台电脑 把一个Claw类智能体拆开看，它做的事几乎可以逐条对应到一台电脑系统：加载代码、分配任务、跨会话保存状态、代理对外部服务的访问。

哪个应用走哪个模型，全凭当初谁接的谁。

被问到是否需要考核员工使用 AI 的频率，李述昊的回答很干脆： 不用。

7、官宣签约！重返欧洲！14年NBA生涯结束了

2026 年 5 月 23 日，万拿机器人灵巧手进入国内某知名品牌的真实仓储业务现场，参与「618」期间的分拣作业，成为全球较早将灵巧手应用于真实业务场景并开展实际作业的企业之一。

当模型掌握了对物理世界通用运行规律的映射理解，从开放式指令理解到规划，再到常见任务的70%-80%成功率，那一刻就是物理AI的临界点。

8、迈向全自动实验室，北大两篇顶会论文让大模型从推理走向物理执行

Loop能自己跑而不自嗨，靠的是一套「目标驱动」机制，在Claude Code里对应/goal命令。

而佟博士此前在设计ECS、NSEAP和KSTAR时，关注的已经不是单一的数据保护或模型选择问题，而是企业能否拥有一套独立于底层模型的认知内核。

而Danny Zhang抛出的那句理念，才是AGX真正的野心所在： 此芯科技的愿景是构建一个开放的算力底座。

模型转头就把这事办了。