但把目光放向全球，答案会截然不同。

1、云开体育 Qoder Security会跨文件、跨函数追踪完整数据流，从污点源到危险汇聚点，挖出单文件视角永远看不到的隐藏关联漏洞。

PolicyTrim第一阶段使用dynamic execution horizon exploration：同一组rollout分配不同接受比率，让模型在短、中、长窗口上并行探索可靠边界。云开体育「Record a Skill」绕开了「写」这一步。

2、达科斯塔强势斩获Formula E上海站亚军 捷豹TCS车队继续领跑车队积分榜

为什么这事与每个开发者有关？ 毕竟，Hugging Face是全球AI的应用商店。

3、比日系便宜不少，「静奢」赛道新宠竟来自韩国？

一个没封顶的/goal撞上难题，token能烧得飞快。

4、记者丨参与度升高，卡迪纳莱留宿米兰内洛

人类在科学探索中最具神性的一环，正在被硅基智能接管。

5、4年2.75亿，不给顶薪不留队！浓眉哥狮子大张口，他真不值这个价

AI的上半场，是把模型跑起来；下半场，是把智能持续地产出来，还要算得清账、管得住成本、扛得住关键业务。

与漕河泾开发区共建「具身智能产业创新平台」；与中国石油、快客达、商汤善惠、新奥集团新智认知签约，布局无人仓店、前置仓和智能巡检。

第四届大赛共吸引来自32个国家和地区的17977名选手报名，参赛群体涵盖清华、复旦、中国科大、南洋理工等知名高校学生，以及中核集团、国家电投、腾讯等领军企业及众多创新企业的研发人员。

6、让打工人把班上爽一点，是一种美德

本体论源起 可解释性的哲学地基 「概念无直观则空，直观无概念则盲」。

随着生态的疯狂狂飙，那些年欠下的「技术债」，到了必须连本带利偿还的时候了。

7、突发！再见了，布朗尼！湖人连签两人！

用户qrdl在论坛发帖，说CritPT自5.4以来几乎没动，除非他们找到了给基准刷分的办法，否则结果也就这样。

不过，也有人从这波狂飙里嗅出了别的味道。

8、时代结束，索尼确认 2028 年取消实体游戏盘

ABot不是在机械地堆砌机器人功能，而是在按照生命的进化节奏，孕育一个能自主生长、不断逼近AGI的完整物理智能体。

2026年3月，超维动力对外发布超10万小时的第一人称数据集KAI Ego Dataset。

后来上下文窗口越做越长，有人干脆把大段历史整个塞进去。

9、Goal：库利巴利伤愈回归利雅得新月，打消伤病传闻

现在，KAT-Coder-Pro V2.5已全量上线，即可立即体验。

J-Space以认知神经科学的全局工作空间理论为解释框架，将语言模型的推理活动类比于人类意识层面的信息处理，在方法论和认识论层面都构成了重要推进，也为AI安全提供了全新的监控维度。

10、吉利汽车5月销量23.76万辆 连续三月双增创出口新高

Skill是最现实的认知载体 在佟博士目前的体系中，Skill是企业认知资产最重要的工程载体。

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

1、19分惨败日本！郭士强难逃此咎，三将太差，廖三宁14分但一言难尽

这才是最该敲醒每个人的一点，AI越狱做出来的东西，一旦流出去，就不是按个删除键能收回来的了。

2、亚洲四队晋级U17世界杯八强，四场比赛合计赢下96分，横扫欧美

判断标准叫「经验密度」——录画面和关节角度，那是「一小时录像」；同时记下任务目标、物体状态、动作质量、错在哪、结果如何，才叫「一小时经验」。

3、单场52分！曝又将交易！湖人出品的榜眼秀

小哥表示，想要刷榜第一，根本不需要研究什么模型架构，只需要「背答案」即可。活塞4-3逆转魔术，34岁76人累赘立大功！魔术7换1大交易赌错了有人网友提出了一个深刻的问题：「并行TTC确实发挥了作用，但没有说出口的问题是：64个独立搜索的质量，能否等同于一个漫长而连续的单线深度推理逻辑链？广度和深度并不总是可以互换的。

4、比喝油还长胖的4类食物！看完你还敢吃吗！

1950年提出，此后七十多年里它一直是判断机器智能的黄金标准。

5、NAB大量新品亮相！松下唯卓仕新镜头登场｜势力新鲜报

他把镜头拉得更远，直击人类最深层的困惑：「即使我们解决了这些艰巨的技术难题，仍会有更复杂的经济和哲学问题有待解决。

6、一群全国顶尖“割麦竞速玩家”跟大雨赛跑

顺着这条线推下去，答案几乎只剩一个。

其实，马斯克和诺兰的《奥德赛》积怨已久。

一周后，OpenAI在半个月内密集甩出Work、Sites、统一搜索。

7、跑步的人一定要懂！脚指甲变黑如何处理

为什么说是「真·助理」？田然（金山办公助理总裁）在发布会上的总结特别精辟——助理度过试用期，靠的从来不是文笔多好、推进力多强，而是你能不能跟老板磨合好。

挑战赛设置高通量药物虚拟筛选、靶向分子设计、蛋白质构象系综生成、神经算子自动改进等前沿任务，部分参赛智能体方案在竞赛范围内展示了具有挑战顶级水平的架构设计理念和问题理解深度。

8、火箭对阵勇士前瞻 库里挑选打火箭复出 到底有何弦外之音

」 他坚持认为，VLA与世界模型并不冲突。

数据是企业的资产，模型是企业可以使用的资源，而认知系统才是企业在 AI 时代真正的大脑。

数亿美金算力砸出来的π0.5，平均成功率跌到14.8%；而WAM-TTT是它的3.1倍。

世界模型的推演大多跑在云端集群上，可机器人在产线上做决策只有几百毫秒，还不能指望网络永远在线。