正面硬碰Claude Science，磐石不落下风 同一道题，磐石、Claude Science、GPT-5.5三家各跑一遍，结果扔给第三方模型盲测打分。

1、金年汇 整个过程在同一个系统里完美闭环，不需要人类中途接力。

Andreessen自己也承认，人们脑子里的AGI是个电影桥段：一场发布会，一个所有人同时点头的瞬间。金年汇在这个意义上，Fithian教授那句后背发凉的「心塞」，绝不仅是他个人的智力失落，而是一代科研人在时代拐点上的集体情绪切片。

2、特斯拉高管抨击双层夹胶玻璃，雷军回应：小米和特斯拉一样

它提供了一个极佳的产业切片，向外界展示了全球首个全栈具身技术体系是如何将世界模型、基座模型与具身Agent架构耦合为一个「有机生命体」，并实现落地的。

3、外媒称王毅与日本外相在菲律宾进行了接触，外交部：据我了解，此次在马尼拉期间，王毅外长没有与日方会见的安排

step-saving reward 直接把「更短、更直接的成功轨迹」写进优化目标。

4、中国证券监督管理委员会原党委委员、副主席方星海接受中央纪委国家监委纪律审查和监察调查_网易订阅

在它被关掉之前，已经有好几位speedrun的参赛者刷到了这条PR，看懂了里面的PowerCool技巧，并把它用进了自己的方案。

5、从皮肤瘙痒到癌症晚期，不到6个月！这起悲剧，给所有人敲响警钟

今年具身智能第一次与智算并列为两大核心赛道，超过200家具身智能企业到场，人形机器人几乎挤满了整个展馆。

四者彼此咬合，才能构成一个「越跑越强」的体系——而这，恰恰是单点突破玩家很难复制的。

陶哲轩看完的评价更狠：过去几十年，人类在第一步就集体走偏了。

6、老枢纽焕发新生机

企业与大模型之间的超级立交 就在这届WAIC上，科大讯飞星火企业军团给出了自己的答案——「星火Token Factory」。

那么问题来了，通用LLM已经这么强了，为什么还要单做「科学基础模型」？ 答案，藏在一个根本的错位里。

7、巴西0冠23年！贝利女儿怒揭黑幕：所有人都知道问题但没人能修好

最致命的是它还加入了大量文字，结果弄巧成拙，比如角落里的印章，上面全是看不懂的「AI造字」，直接让人出戏。

他们现在开始告诉企业： 不要失去自己的数据、学习闭环和Alpha。

8、一夜7大转会！巴萨签下多特快马阿德耶米，曼联有意卡马文加！

Token「前店后厂」：从「发电」到「用电」的全链路革命 清程极智是目前行业首家完整落地「全链路」的厂商。

DA-Nav因此补齐了长程导航中长期被忽视的一环：不只训练机器人怎样走对，也训练它走错后怎样回来。

它让机器人不只是识别画面中的物体，而是能够「想明白」物体、空间与任务之间的关系，并做出合理判断。

9、美官员：特朗普与泽连斯基将于7月28日在华盛顿会晤

可问题也就出在这儿：厂商这边省token，用户那边是有感知的，最直观的，就是模型「不肯想了」。

当一个工程师能同时跑七个Claude、几小时就把功能推上线，设计师还想用几个月的「发散—收敛」把人拦住，那是自寻死路。

10、哈登再次招募詹姆斯！格林为了詹姆斯愿意不组织、只投篮！

Light Interaction保留文本条件和当前chunk的稠密计算，只稀疏历史视觉KV，并通过算子融合减少数据搬运。

参考资料： https://x.com/itsolelehmann/status/2069897627794284606 编辑：Aeneas

1、卡洛斯欣赏的飞翼，在拜仁是体能怪，十字韧带撕裂破坏终老梦

我们是否应该陷入「AI 取代数学家」的陈旧恐慌？大可不必。

2、孙兴慜失单刀，黄仁范吴贤揆救主！韩国2-1捷克，下轮对阵墨西哥

Grok Build乖乖回了一句OK。

3、小米澎程N90官图，还是小米标，和吉利杠上了？

几乎同时，另一组截图也开始传：Codex客户端里用户实际能用的上下文，从约372k退回了272k。中国U17女篮十年重返八强，00后多点开花改写梯队纪录该框架可适用于一切「前沿级」模型，无论来自哪个国家、开源还是闭源；而所有非前沿模型，比如出自初创公司或学术界的，都可豁免这一流程。

4、他来了！齐达内确定执教法国队：签约至2030年 团队规模或超25人

结果，令人咋舌—— 仅仅30天，Meta员工烧掉了60多万亿个Token，榜一单人刷了2810亿，连小扎都没挤进前250。

5、异地就医押金不再“等数日”，出院退款秒到账

一个模型，装下五种能力 长程工程、通用Agentic、终端、前端美学、通用知识——这五个方向，KwaiKAT各训了一个专家。

6、丹麦爱神再次倒下：埃里克森的“蝴蝶”与绿茵场上的生死大梦！

结果就是，整体效率提升约50%，等效省下数百万元的硬件采购成本。

所有的环境适应工作，仅仅去更新一个极轻量级的快速权重 。

这正是超聚变身为算力老兵，最不肯让步的地方：再华丽的软件平台，最后都得踩在实实在在的算力底座上跑起来。

7、别只盯"三高"！你的血管里可能藏着第四个"隐形杀手"

祖泉研究院方面表示，本次启动的孵化营是祖泉研究院探索AI4S成果转化新机制的重要实践。

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

8、盘锦香料搭乘数字通道“直飞”荷兰

四条战线必须齐头并进，缺了任何一条，闭环就会瞬间断裂。

在DeepSWE这类编码基准上，最高能省下65%。

安全这块：每个Artifact默认只对作者自己可见，想分享才分享，而且只有组织内认证过的成员能看，做不成公开页面，管理员那头还能统一管权限、设保留策略。

结合一系列技术优化，无问芯穹的单位Token推理成本，硬是在一年内，整整降了10倍。