这种巨大的波动，对于需要多步推理的Agent来说，完全不可接受。

1、博鱼app 推测来看，近期3.5 Pro的开发进展并不理想，因此他们启动了全新的预训练课程。

此前真实接入的模型，并没有明确的可靠信息确认。博鱼app商汤这次在WAIC展示的，不只是一套国产异构混推方案。

2、夏季穿衣别太单调，千万别错过这几款露肩上衣，舒适高级显瘦

而程序员，正在从写内容的人，变成设计系统的人。

3、全国爱耳日

上海AI实验室主任、首席科学家周伯文认为，这种能力差距的核心，是当前大模型普遍缺失科学元认知： 它能精准调用海量已知知识，却无法识别知识的边界； 能生成看似自洽的推演结论，却不会自主提出可证伪的科学假设； 能基于文本做概率拟合，却无法在真实世界的反馈中修正、重构自身认知。

4、实景图曝光！徐州城芯宋式雅境，收官交付！

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

5、4.13意甲推荐：佛罗伦萨VS拉齐奥

灵巧手KAI Hand同样遵循这套极致拟人的逻辑。

他直言：现在是人类史上的关键时刻，AGI或将在短短几年内实现！ 哈萨比斯给出了一个令人战栗的算式：AGI的影响规模将是工业革命的10倍，而速度也是10倍。

关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。

6、农业农村部：强或超强厄尔尼诺事件正在形成，农业防灾减灾形势不容乐观

OpenAI技术团队成员Ryan Brewer发帖说，大模型居然没掀起一场教育文艺复兴，让他很震惊： 我不是应该一个月就学会一门语言吗？我们到底哪里搞错了？ 类似的质疑X上迅速发酵：手握史上最强的学习工具，为什么AI私人导师还没走进千家万户，教育革命迟迟不来？ 答案不在技术，而在制度的惯性。

一个 KAT-Coder-Pro V2.5，同时装下五位专家的本事，部署时无需切换—— 写代码、跑流程、做页面，一个搞定。

7、库拉索值得所有人敬畏！15万人小国亮剑敢还手德国进一球虽败犹荣

老搜索有多难用，圈里早有共识。

但科学，绝不妥协于「八成正确」，它要的是精确、可靠、可溯源—— 一个结论，必须能被验证；一条推理链，必须能被追溯；一个错误，必须能被定位和修正。

8、黑龙江特色文化旅游推介会燃动沈阳

区域上，上海临港是核心枢纽，盐城是算电协同的区域试点，北京、天津、深圳、福州等节点逐步连成一张网，接入全国一体化算力网。

沉默，终究扛不住了。

如果一家大型国央企为了避免被单一厂商「卡脖子」，同时采购了多款国产显卡，找其他大厂做纳管和推理优化，对方是不会尽心适配其他竞品的。

9、一场2-1！让西班牙进四强，梅里诺又替补绝杀，半决赛大战法国

一家模型厂商可以做绑定自家产品的浅层记忆，却做不出跨厂商的通用层，因为通用层的价值恰恰在于中立，而没有谁愿意把自己的记忆托付在竞争对手的地基上。

朱红、赭石、深蓝、琥珀金四色铺开，灯笼暖光撞上夜色冷调，全在一次生成里落定。

10、旅游休闲公司上调全年业绩指引 将新增23家度假村超10万业主_网易订阅

Token按量卖是收入，每一分技术优化省下的成本，不用降价让利，直接沉淀成毛利；省得越狠，赚得越多。

从理论到实践： 本体工程与大语言模型的融合 本体论提供的是关于「可理解的结构应当是什么样」的规范性回答，但这一回答本身并不自动转化为可运行的技术系统。

1、明天，开市！

写下机器战书的人 整场测试的起点，是一家叫Axiom Math的公司。

2、老带新任务完成！5人3年前加盟火箭，如今只剩范乔丹，难逃交易？

它要解决的，正是「纸面算力≠有效Token」的死结。

3、爆发期来了！无锡处于较高风险区

在自回归视频生成中，当前chunk、历史KV、文本token和因果布局交织在一起，Q/KV长度高度不对称。尤尔曼德加盟马竞，转会费4000万欧+浮动U1 Pro跨越的，就是这一步。

4、西班牙1-0绝杀夺冠，名嘴张路专业解读赢球真正原因，一针见血切中要害

然而，接下来的操作堪称魔幻。

5、从“被动应对”到“主动引领”——湘潭市垃圾治理的破局之路

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

6、1-0！结束十六年等待，费兰绝杀，西班牙夺冠！阿根廷卫冕失败！

上周二，7月14日，谷歌DeepMind CEO、诺奖得主Demis Hassabis发布了一篇长文，题为《前沿AI框架与新纪元的破晓》（A Framework for Frontier AI and the Dawning of a New Age）。

他们只关心三件事：Token够不够快，够不够便宜，服务稳不稳。

这意味着，国产算力第一次不必等到单卡全面追平英伟达，就通过系统分工，提前进入了真实的商业市场。

7、Xbox大作重制口碑爆了，却撞上微软游戏业务崩盘的时刻

你写了段破绽百出的代码让Claude看，它不但没嘲笑，还先夸了句结构清晰。

文献数据、实验数据的抽取和沉淀 这也造就了科研领域低效内卷的现状： AI 持续拟合公开的成功科研数据，却难以触达科研场景中占比超 90% 的试错数据； 前人验证过的无效方案、踩过的技术误区，后续研究仍会重复尝试； 已被证伪的科研路径，模型依旧会反复推演。

8、王虹：从“数学之美”走向“数学之巅”

这阵仗，用「盛况空前」都稍显克制。

媒体会亮点 从技术拆解到真实交付的深度对话 展会期间，万拿机器人在上海滨江城际酒店 3 楼会议室举办「灵巧之手·具身未来——万拿机器人媒体技术沙龙」，围绕「让机器人真正能干活：具身智能灵巧操作的产业化路径」展开深度交流。

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

按时间间隔触发，像闹钟。