在7月18日下午举办的大会专题论坛“未来计算·未来算力”中，启鸣达人正式首发《世界模型驱动的教育AGI白皮书——从认知仿真到教育智能体的范式跃迁》。

1、博亚平台 生成式路线倒是敢画。

摄像头采集画面后，编码器分析连续画面中哪些像素发生变化、哪些内容可以压缩，再把处理后的视频数据通过网络传到接收端。博亚平台最终，所有输出还需要经过「双回路校验」，即在生成式AI输出动作前，设置「模型推理+规则校验」并行机制。

2、辽沈战役刚结束，八纵为何司令师长团长换个遍，连副团长都当战士

DeepSeek也将再次刷新国产大模型公司最高估值记录。

3、胡塞武装称使用多枚弹道导弹、巡航导弹以及无人机，袭击两艘沙特油轮_网易订阅

Step AOS以模型为中枢，模型能力直接长成系统原语，转化链路极短、极深，这构成了阶跃第一重不可逾越的壁垒。

4、挪威出局第二天！瑟洛特回应不传球争议，哈兰德揽责显大将风度

其中第6问，要求数学家们将物理架设在严格的数学公理体系之上。

5、Spurs Journo：热刺和西汉姆联已就M费转会达成口头协议

效率提升，背后是训练方式变了 正如开头所说，相比性能，这次Grok 4.5更大的卖点其实是效率 而这种效率，并不只是推理阶段的软件优化，更来自整个训练流程的重新设计。

这是它石首次亮相WAIC，也是我第一次在线下近距离观看他们的Demo。

HMS的做法很明确： 历史记录封存之后不再改动；当面对用户提问时，系统梳理问题对应的时间、人物关系，沿着多条线索搜集信息，交叉核对事实，最后整理出可靠答案。

6、“水电双计”赋能智慧治水 民乐精准节水护航粮食丰收

这场关乎“最强大脑”争夺的战火，还在不断烧向产品经理甚至实习生群体。

彭福兴：我们盘点之后，杜总信心百倍地说一年调改10家店不成问题，但一看成本——胖东来一家超市投入两三千万元，“种子班”的很多样板店投入也有一两千万元——按这个标准，我们根本改不起。

7、24年来首人！47岁马宁首次担任世界杯主裁 周日8点吹响开场哨

中兴通讯、壁仞科技、沐曦、天数智芯、燧原科技、商汤科技、曙光信息、奇异摩尔等产业链重量级企业共同参与。

数学家们 慢慢笑不出来了 Gowers在博客里回顾，早期那些所谓「大模型解决了研究级问题」，笑一笑就能过去： 不少所谓的解，其实是模型发现答案早就躺在文献里，或者能从已知结果轻易推出来。

8、不止詹姆斯！骑士欲组重组三巨头争冠，哈登降薪恐也成“牺牲品”

今天用户说「这套报告用蓝色标题」，不代表他以后所有 PPT 都要蓝色标题；用户在某次编辑里遇到的工具错误，也不应该和「他喜欢什么风格」混在一起。

在Step AOS里，阶跃模型矩阵阶作为能力基座，贯穿Step AOS的计算调度、数据处理与服务调用全链路。

灵犀给出的结构分成了三个问题： 数据为什么不够，模型为什么难训练，以及具身智能什么时候能落地。

9、要夺冠，喝雪花金冠！雪花金冠正式成为2026湘超五大赛区唯一指定啤酒

企业家需要以更系统的视角，重新审视从研发、采购、生产到交付的全链条。

设备出现故障时，“AI工业大脑”的自诊断系统可以把排障时间从小时级压缩到分钟级，之前需要“专家老手”才能解决的故障，在AI的帮助下新人也能很快上手处理。

10、东南亚最大气流纺成套项目投产，CTMTC赋能越南纺织产业升级

两端都不能缺失。

BettaFish用于舆情分析，输入一个热点话题，它会开启全网自动搜索，从各大社媒平台获取相关信息，接着让多Agent团队协作，基于信息进行总结、碰撞，最后输出一份详尽的舆情分析报告。

1、申花3-2、海牛1-1，中超积分榜：申花升至第9，海牛领先降级区6分

正如评论区这位俄罗斯网友说的：Qwen-Image-3.0是很出色，但它确实还有一些不足的地方。

2、彻底撕破脸！弗里克放弃巴萨中场核心！昔日王牌铁心出走诺坎普

周全解释，之所以偏爱年轻人，是因为“聪明的年轻人，冲劲和变化适应能力非常强”。

3、以媒：美国已通知以色列，计划加大力度打击伊朗，将首次动用重型轰炸机打击伊朗镐山地下核设施，以色列已进入最高警戒状态

攻坚与阵痛 过去二十余年，搜索是百度的根基。10分钟，他们保住了24.6万！SWE-bench Verified——业内公认最硬的代码能力评测之一，Macaron-V1-Venti以85.6分登顶第一，甩开第二名3分，把DeepSeek-V4-Pro（80.6）、MiniMax-M3（80.5）、Kimi-K2.6（80.2）全部压在身后。

4、穆里尼奥彻底看走眼！皇马新援史诗崩盘，世界杯沦为大笑话

6月，Figure旗下的Figure03，在宝马工厂实现了复杂零件物流排序场景，能同时完成认知理解、精细操作和动态行走的全身协调。

5、CBA新消息，上海男篮拒绝洛夫顿超200万要价，高诗岩留守山东，辽宁追新星

书生系列大模型凭借卓越的科学理解与推理能力长期领跑，并在纯文本、多模态、代码智能体等多元领域展现出顶尖实力，位列开源模型第一梯队。

6、中超第20轮大胆预测：上海德比战平，国安力克蓉城！河南击败山东

这一能力背后，是对 Agent 时代模型调用逻辑的重新思考。

预训练是一次性的基建。

WAM‑TTT要解决的就是这个问题。

7、文明实践丨品味大樱桃里的文明味儿

看起来又是一个万亿元级别市场。

回忆和修改过往经历，是人脑绑定在一起的本能。

8、曼城哭晕！穆里尼奥重磅挖人！世界杯真核铁心加盟皇马

一张能塞进兜里的卡片，没有一根琴弦，却能弹出真吉他的和弦，零基础的人几分钟就能弹唱起来。

日冕不单独售卖模型，而是推出软硬一体完整落地方案。

从演示中不难发现，教育数字大脑不是简单解答每个学生的问题，而是让AI贯穿课前、课中、课后全部的教学环节。

6月7日，《金融时报》披露，OpenAI正准备对ChatGPT进行自2022年推出以来规模最大的改版，并在未来几周内逐步上线。