于是，模型学到的，就是那副腔调。

1、星空综合 两大瓶颈限制了 AI 科学研究的落地上限，让多年来的 AI4S 技术探索，更多停留在浅层效率提升阶段，难以实现科研范式的颠覆性突破。

而且，标题、展期、地点、开放时间，不仅干净利落，而且一个字都没写错。星空综合因为一个亲手宣布旧规矩死亡的人，接下来要做的事只剩一件——去立新的。

2、反转！皇马想买世界杯金球巨星：79岁佛爷改变主意 双方洽谈

相比传统方案，Qoder Security的漏洞检出率提升了约60%。

3、晒317万元年终奖，腾讯一员工被辞退并列入黑名单

第一，聚焦智能体专用CPU。

4、机器人等不来ChatGPT时刻：可能不会有机器人领域单一的突破革命

从「看到」到「看懂后果」，这一步之差，恰恰是物理AI从表演走向生产力的分水岭。

5、突然，全线跳水！高盛发声，抄底机会？美股芯片股，再遭抛售

DeepSeek掀起的国产芯片适配潮还在持续发酵，OpenAI和Anthropic相继官宣自研芯片，全球AI算力的版图正在被重新撕扯。

三层架构，一个飞轮 高德ABot体系的核心，是一个精密咬合、可自进化的三层结构。

谷歌把这款模型塞进代码安全智能体CodeMender里，靠多个Cyber智能体协同作战，在安全基准CyberGym上刷新SOTA，成本却比更大的模型低—— 用一个更轻的模型，干最需要精度的活。

6、暑运超十亿人次出行如何保障

在H3-E418展位，一家来自深圳的企业——深圳小象电动科技有限公司，正带着被称为机器人与新能源汽车「心脏」的硬核黑科技，向世界宣告中国底层动力技术的全面崛起。

（图源：Chirikov／CSHE） 为什么？这是「外包」，不是「学习」。

7、渠道品牌价值凸显的背后，拆解华致优选的野心！

惊喜的是，在这方天地间，我们还看了一场染透天际的日落。

现场，商汤科技董事长兼CEO徐立揭晓了一幅为WAIC九周年特制的「东方城市长卷」——《智会世图》。

8、厦马没了马博会薅羊毛，还有多大吸引力

它砍掉了传统多模态里VE（管理解）和VAE（管生成）这两个独立的编解码组件，让理解、生成、行动共用同一套表征、同一套计算。

高精度3D视觉加上透明物体成像算法，让机器人在复杂光线、杂乱料框、狭窄货架中精准识别物体的位置、形状和材质。

没有人在背后遥控，没有预先写死的脚本，从抓起第一块积木到垒上最后一块城砖，全程自主。

9、俄罗斯商品馆，含俄量不足1%

其中一个名为「The Last Ones」的测试场景包含 32 个攻击步骤、4 个子网、约 20 台主机，AISI 估算人类专家完成全部步骤需要约 20 小时。

第三步，把证据理成清单再交卷。

10、杨紫琼新片《银翼杀手2099》剧照与剧情细节曝光

OpenAI总裁Greg Brockman转发了这条推文，说了一句： 感觉这是推进数学的一个分水岭时刻。

当然，放手不等于放任。

1、谢婷婷暑假带娃自驾游，7岁女儿一路陪弟弟玩，一家住豪华度假屋

她对着镜头欢呼，「感谢真主，孤儿院开张了」！ 她建过清真寺，给加沙难民送过面包，在乌干达为孤儿盖起新家——身后横幅上，「Lily Jay基金会」的logo格外醒目。

2、下周一，复牌！5倍大牛股，突发公告！

测试结果却是一记响亮的耳光：在相同的环境扰动下，使用了ICL的基线模型WAM-ICL，成功率从标准环境的48.4%直接崩塌至7.1%，泛化保持率只剩14.7%。

3、光设计就刷屏！南京“绿洲大厦”，层层像梯田！

此前真实接入的模型，并没有明确的可靠信息确认。当出海卖家告别“规模崇拜”：AI Agent正把跨境ERP推向“商业操作系统”第四道槛：两三千个智能体在上班 技术就位、产品上线、商业模式跑通，最后一道槛在组织内部。

4、嚯！35家大型央国企实测后，因果世界模型落地了

他们在代码编写等场景中，开始疯狂入坑性价比极高的中国模型。

5、四川落地首笔融合“VEP核算＋气候评估”文旅气候贷

逐际动力是最早提出并布局人形大脑系统的具身智能公司；后来者的趋同，从侧面印证了这条路线的前瞻性和引领性。

6、中央企业实现利润总额1.4万亿元

作为年轻创业团队，它没有历史包袱，从技术架构到产品设计到商业模式，全部从AI原生的逻辑出发。

就这样，靠着纯粹的逻辑、群论、流场与线性代数，人类苦苦寻找了50年的那枚钥匙，被64个AI智能体在极速的穷举与交叉验证中，硬生生地锻造了出来！ 解题秘诀：「测试时计算」 这一消息一出，整个AI圈和数学界都被震动了。

其余的，交给模型自己去想清楚。

7、局势升级！伊朗以牙还牙，85处美军设施被摧毁？特朗普恼羞成怒

有意思的是，被点名的Anthropic几乎在同一时间做了另一件事：把Fable 5的付费访问再延一次，Claude Code周额度上调50%，都续到7月19日。

Grok Build里有个「帮助改进模型」的开关，几乎所有人都以为，关掉它就等于关掉数据收集。

8、拉什福德转会只去欧洲四大豪门，留在曼联几成定局！维拉无意再买

最有画面感的，是Claire Vo的桥段。

当Dobriban与Fithian复核确认，并将配套代码（dobriban/BH）挂上 GitHub 时，一切都尘埃落定了：这不是大模型的幻觉，而是铁打的真理。

四十分钟，四个议题：范式拐点、评测标准、多路线收敛，以及从Demo 到Deployment。

半个世纪以来，数学家们为了证明这个猜想，可谓绞尽脑汁。