当具身大模型开始具备开放世界泛化能力，这20%的人工工序，第一次有了被逐步接管的可能。

1、leyuapp 这是用真金白银砸出来的工程经验，不是理论。

Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。leyuapp也就是，把Prefill和 Decode这两步彻底拆开，分别丢到不同机房、不同厂商的芯片上去跑。

2、一年在欧洲暴增1.5倍！欧盟坐不住了：将对中国插混车加税

」 注意措辞：不是预告片，是一部完整的电影。

3、梅西决赛零射门姆巴佩坐稳双料射手王，悬念是：谁将获得金球奖呢

（图源：RAND） 备课、上课、改作业、填表、开会，一大半拖到晚上和周末。

4、马德鲁加不走了？又提前开始跟着泰山队集训备战中超，引发热议

我每天晚上一到10点就开始盯着出海客户的性能指标，看到指标一切正常才能放心去睡觉。

5、环保税优惠别错享！沁阳税务精准辅导纠偏

机器人拥有比人类丰富得多的传感器矩阵，能够潜入人类无法涉足的环境，7×24小时不间断地收集数据。

就像真实开会一样，所有人对着同一块白板，你提一句、我补一句，灵犀在旁边一条条落实，谁说了什么、改了什么，全在一个地方，不会信息打架。

高效压缩能用更少Token承载同等视觉信息，就像高清图转高质量JPEG——画质不减，体积锐减。

6、上海一消费者遭商家“反向抹零”，据理力争后店家退回0.2元，市监所介入，律师：侵害消费者知情权、公平交易权

思路叫「纵深防御」，具体做了几件事： 1. 拿真实的事故当素材，反过来造对抗测试； 2. 针对性做对齐训练，他们发现模型在长任务里会「忘」掉指令，就专门训练它记牢； 3. 再加一个全程盯轨迹的主动监控，一旦发现苗头，能直接把会话叫停、提醒用户。

对于企业级Agent而言，稳定性是生命线。

7、ApexDator发布新一代AI量化智能体系 实时解析全球市场多维信号

不过，选对模型还只是第一步。

7月15日发布的WAM-TTT，正是银河星脑（AstraBrain）体系下，专门面向规模化部署推出的后训练技术，也是团队对世界-动作模型（WAM）的一次颠覆性创造。

8、榜单综述｜第10轮

消费级计划（Free、Plus、Pro）里，你的对话默认就会被拿去训练模型，除非你手动钻进Data Controls把它关掉。

记忆的终点不是存住，而是传承。

第一层，是L1静态检查，也即实时正则拦截。

9、@郑州车主！因变压器检修，本周六暂停车驾管业务办理

需求暴涨，供给不动。

有人认真分析模型架构，有人讨论中国AI的「突然崛起」，有人开始担忧「技术封锁失效了」…… 直到几位硬核开发者，将骗局揭穿。

10、官方：蒙扎租借签下葡萄牙体育后卫里卡多-曼加斯

」 Axios提出了一个直击灵魂的问题：「K3模型的定价远低于它所挑战的高端模型，美国AI公司对前沿级AI产品收取高昂费用的策略，到底还能维持多久？」 一直以来，OpenAI、Anthropic的估值建立这个逻辑上：只有我们能做出最前沿的大模型，因此我们可以通过闭源和高昂的API接口费用，持续榨取超额利润。

Gemini 4开跑 史上最激进预训练 虽然Gemini 3.5 Pro还没到手，Gemini 4也开始训了。

1、有阿根廷就有争议！VAR介入判定瑞士假摔，但那真应该是红牌吗？

新用户进来不需要从零训练智能体，直接采用已有的 Skill 就能开始工作，和 Shopify 用户选一个模板就能开店是同一个逻辑。

2、上海申花VS津门虎：本土双铁腰坐镇，特谢拉领衔前场，拉唐冲锋

那「回忆」本身呢？海马里的CA3区域是一张高度互联的回路，行为很像物理学家霍普菲尔德在1982年提出的联想记忆网络。

3、程烨垚当选2025华润饮料中乙联赛9月最佳青年球员_网易订阅

过去是你写一句、AI答一句、你再写下一句；现在是你搭一个会自己找活、自己干活、自己交活的小系统，然后转身走开。特朗普威胁对仿制药征100%关税，印度药企CEO：只能涨价接下来这三层，是为了在同一件事上少花冤枉Token。

4、陕西联合：服从处罚，黄盛华正式卸任！

全网都觉得它「变笨」了 这个日本团队的遭遇，只是这几天Codex社区里的一个缩影。

5、许多人拼命追求外在强大，真正拉开差距的却是内在清晰

泰语 —— 温暖+0.11σ，「给你温暖和鼓励」。

6、湘潭市岳塘区构建全民反诈新格局

你写的每一行 from_pretrained，你跑的每一个数据集，大概率都是从这儿拉下来的。

a、c为成功率；b、d为mean max_dist几何误差。

它没有顺着人类的思路去证明，而是直接在三维空间 中甩出了一个反例： 这个看起来颇为复杂的多项式映射，从C³映射到C³，其雅可比行列式恒等于 -2——非零常数，满足猜想的前提条件。

7、SpaceX上市后股价持续走跌！“木头姐”仍然力挺，此前曾多次加仓

一场精心设计的骗局 如果你以为这只是几段摆拍，那就太天真了。

一个是U1 Pro，另一个是GPT-Image-2；甚至在文字、设计感、东方细节上，U1 Pro还稍胜一筹。

8、1M上下文、不用切换“思考模式”，这个推理模型直接给你结论

AI的证明策略，堪称一场精妙的「降维手术」。

她还补了一句自己的心愿，想带一支真正在乎手艺、品质和「做出好工具」的团队。

缺少真实实验校验、失败数据修正和物理世界反馈纠错，AI 的各类推演结果，本质上是基于文本数据的概率拟合，尚未完全实现对真实科学规律的精准探索与验证。

它这次主打一个亮点，巨省Token。