最初的Frozen芯片由Google DeepMind首席科学家Jeff Dean主导，思路更离谱：直接把模型权重烧进芯片。

1、leyuapp 因此，现场机器人拼到第五千块的时候，还记得第四千九百块放在哪儿、下一步该怎么接。

这些更高级别的员工把智能体当助手，从自己的工作里拆出任务，生成任务流，让智能体逐条执行。leyuapp在它被关掉之前，已经有好几位speedrun的参赛者刷到了这条PR，看懂了里面的PowerCool技巧，并把它用进了自己的方案。

2、最新

第二个问题更严重：企业可能正在把自己的数据、流程、业务逻辑和竞争优势交给模型公司。

3、拒绝输2追3！女排老牌劲旅拿下保级生死战，保级集团彻底乱了

从生成到接手，始终在一块屏幕上 田然在发布会上提了一个特别重要的概念——办公全闭环。

4、世界杯决赛对阵出炉：欧洲冠军VS美洲冠军，梅西封神一步之遥

而且从第一天就是全球化。

5、连锁反应！老詹回归+哈登离队？重回旧主！有机会吗？

合并之后冒出19个回归，如今也全修完了。

有意思的是，两个月过去，除Gemini 3.0暂无动静外，他点名的这批模型已经被整整刷新了一轮： 5月28日，Claude Opus 4.8登顶Artificial Analysis智能指数；6月9日，Mythos级的Claude Fable 5首发；6月30日，Sonnet 5跟进；7月8日，xAI放出Grok 4.3的继任者Grok 4.5；紧接着，GPT-5.6 Sol开闸。

恰恰相反，它是效率工具：替我们省掉了海量注定失败的尝试，没有它，没人能在有限的一生里走到学科前沿。

6、美航二季度营收167.4亿美元创新高，燃料成本暴增83%，Q3指引转亏

今年5月OpenAI再宣布推翻一个1946年的埃尔德什几何猜想时，在公告里同步附上Noga Alon、Melanie Wood和Thomas Bloom的评价。

真实的软件工程，九成的功夫都花在这些「万一」上。

7、[视频]台风“红霞”逼近 粤闽积极应对

但一组真实的行业对比数据，也提示我们对 AI 全能进化的认知要回归理性。

这一类，后面单独说。

8、法国6比4英格兰：姆总萨卡诚信互刷

主题是，驱动物理AI从理解到执行。

为了查清账目，先把预算这个变量调低，看看用量究竟往哪儿跑，这在工程上完全说得通。

因此，它用超低成本，实现了「带脑子、带记忆」的高级推理。

9、直降超100万！绍兴这精装房被拍卖，门口已贴封条

第一次尝试，它就被安全扫描器逮住，扫描器认出了一个身份验证Token。

5个指尖配备触觉传感器，手腕处嵌着视觉传感器，与主流具身智能开源数据集直接兼容。

10、22年的等待！中国男足为何又进决赛，一数据是历史第一次

真急症的判轻率51.6%，居家级病例的判重率64.8%。

佟佳睿（Richard Jiarui Tong）博士担任IEEE人工智能标准委员会（AISC）主席，并领导IEEE P3394大语言模型智能体接口标准工作组，在AI标准化与产业实践方面具有重要影响力。

1、绍兴中考志愿今起填报！这五大变化必须清楚！

于是他干了件过去想都不敢想的事：用Claude Code，把整个Bun从Zig迁到内存更安全的Rust。

2、美国6月新屋销售年化月率1.6%_网易订阅

AI编程，以前拼的是提示词技巧，现在拼的是谁会搭系统：谁能设计出一个自己会验证、自己知道该停的循环。

3、王楚钦爆冷出局深度解读：不是实力下滑，是节奏被怪异打法锁死

你只需要定义规则、目标、玩法和世界观，剩下的角色、场景、画面、叙事，全都在实时互动中由AI生成！ 想象一下，你对着屏幕说：「男主这时候应该摔门而出，眼神要三分薄凉四分愤恨。陆家嘴携手九万里学院举办消费品论坛 聚力培育消费增长新势能就在几天前，强化学习之父Sutton官宣创业；几个月前，他的学生、AlphaGo之父Silver做了同样的事。

4、足坛一夜动态：葡萄牙险胜智利，德国2-1美国，英格兰1-0新西兰

本来要几天的活儿，几个小时干完。

5、8.45亿买断世界杯，“韩国综艺教父”被坑到破产，连三星也救不了

中国具身智能，站起来了 长期以来，在全球人形机器人和具身智能的竞技场上，尤其是对标Optimus时，国内舆论场中一直弥漫着一种论调：「中国企业底盘控制做得好、电机强，但只是『本体强』，我们在最核心的AI模型泛化能力上，『大脑弱』。

6、泰山队5-1的收获，22岁多面手证明自己，教练组把细节做到更好

当然，必须指出的是，这次AI证伪的是三维雅可比猜想，也就是否定了「所有维数都成立」的广义版本。

」 稀缺性：模型、产品与全球分发同时在线 最后，回到一个更宏观的判断：AI视频赛道里这么多玩家，为什么是爱诗？ 答案不在某一张榜单，而在于它较为均衡地把三种能力放进了同一个体系：自研模型、消费级产品和全球化分发。

这个瓶颈，就是「Reasoning Generation」。

7、火箭有意字母哥！申京+小贾成主要筹码 与杜兰特+阿门组三巨头？

为什么偏偏是2026？孙文剑给了四个理由： 大模型迭代周期已经缩到「每几个礼拜」，能力撞上临界点； 工具链和框架把开发门槛按了下去，开发者蜂拥入场； 资本认定智能体是继大模型之后的又一个核心赛道； 而最关键的商业闭环，在过去半年内跑通了。

在同一提示词下，究竟谁的成图更胜一筹？话不多说，直接看效果。

8、我私藏的 10 款懒人平价绿植！均价 20 块，好养到想报警

本来要几天的活儿，几个小时干完。

PolicyTrim的核心观点是：对VLA机器人而言，部署效率不只来自更快的模型推理，也来自更高效的策略行为。

镜头里，一位戴着头巾的金发女子笑靥如花，身边围着一群非洲孩子，每人手里举着一根棒棒糖。

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