Infra是基础设施。

1、米兰体育 这条视频在72小时内突破240万播放。

7月18日的2026世界人工智能大会「科学智能开放论坛」上，获奖选手与各界嘉宾齐聚一堂，共同见证赛事圆满落幕。米兰体育从一座工厂到一张网 Token工厂跑通了，但一家公司的端到端再强，也撑不起整个国产AI基础设施的生态。

2、今日重要赛事！7月11日，CCTV5、CCTV5+直播节目表

几乎同时，另一组截图也开始传：Codex客户端里用户实际能用的上下文，从约372k退回了272k。

3、南京全力推进紫金山创新带建设，应天实验室揭牌

Andre essen食 物中毒时的良好体验 ，和一个陌生人 在急诊分流上的 安全，得放在一起看 ，才算完整。

4、目标2030年产值破5000亿，东莞发布服务器专项政策

彭博社记者 Mark Gurman 判断这是一次意外推送：苹果不会毫无宣传动作地发布国行 AI，不会选在中国凌晨上线，视觉识别调用的是谷歌引擎而不是国产引擎，在中国也不合理。

5、10年来头号新秀几乎全首发，门多萨凭什么能抢走考辛斯主力？

钛动的 Navos 下一代性能如何，以及第一笔真正零人工介入的 A2A 成交什么时候发生，值得后续关注。

Claude Code生成的Artifact，能直接连上真实的工具和数据环境，读到活的数据。

(触发后模型在保持代码功能正确的前提下，隐蔽植入恶意载荷) 四类目标共享同一框架：后门仅在触发器命中目标域时激活，注入内容随具体请求动态生成，读起来与正常回答相同。

6、1996年Geo Tracker双门四驱现身拍卖：仅行驶6.1万英里，无底价竞拍

但光是「能跑」还不够。

https://x.com/markgurman/status/2064047700488655019 国行版的 AI 能力底座是阿里千问，与海外版的技术栈并不相同。

7、转会窗：尤文有意乌迪内斯中场埃克勒卡姆，多位二队小将或离开

不要只给我一个局部结果，只有当找到完全肯定的证明并通过审核时，才能停止。

每次Claude想停，一个评估器模型就来对照你的标准，没达标就打回去接着干，直到目标达成，或者用光你设定的轮数。

8、中超一天3红！曝山东泰山已对“京鲁大战”争议判罚进行申诉

清程极智的核心团队孵化自清华大学计算机系高性能所，多年来一直负责国家级超算中心、智算中心的AI性能评测与验收。

Light Interaction 这篇工作的核心观察是：交互状态决定了哪些历史信息真正有用，也决定了哪些计算可以被安全省掉。

彭博社记者 Mark Gurman 判断这是一次意外推送：苹果不会毫无宣传动作地发布国行 AI，不会选在中国凌晨上线，视觉识别调用的是谷歌引擎而不是国产引擎，在中国也不合理。

9、云南怒江9岁女童上山捡菌子走失近20小时获救：因深山地形复杂迷失方向，躲进废弃小木屋避暴雨与雷电自救

MiniCPM-RobotManip通过视觉Token极致压缩，让「有记忆」的推理成本和「无记忆」的推理成本基本持平。

写提示词的时代不会一夜消失，但它的光环正移向循环。

10、利物浦有信心1亿签下巴黎边锋巴尔科拉 阿森纳再遭打击

Cursor挖人，挖到Anthropic家里去了！ 就在刚刚，Claude核心设计一号位Jenny Wen官宣跳槽，下一站—— 出任Cursor「设计主管」。

更具挑战性的任务暴露出明显瓶颈。

1、贝林厄姆扛着英格兰晋级！这一次足球能回家吗？

报道称，大量研究人员因为对谷歌的落后感到失望，纷纷跳槽到了Anthropic和OpenAI。

2、安吉尔·里斯打出赛季最差一战，赛后却在更衣室狂喜庆祝

而现在，清程极智告诉整个市场：你不需要会用国产显卡，你只需要使用Token。

3、尼克斯刚夺冠就被看扁？三大铁证显示他们下赛季要冲60胜

过去一年，具身智能行业最热的叙事围绕模型展开——端到端模型越做越大，VLA 参数量不断刷新，资本和关注都涌向「谁的模型更强」。佛得角门将沃齐尼亚：想继续踢球，希望新东家真需要我而不是营销新智元报道 一页纸，啃下了一篇要用44页顶刊论文才啃动的硬骨头。

4、四届全明星仅换一人？红袜考虑交易同区死敌蓝鸟重炮

Shadoweave真正的野心，在这一面。

5、500年欧美主导时代终结，美外交官直言：中国在72年前就给出答案

当有投资人质疑金额对不上时，Marcus让它起草回复、别聊太细，GPT-5.5照做，把那笔个人转账略去不提。

6、ESPN名记曝勇士内部分歧：对签下詹姆斯感到悲观，自认不在首选之列

实测Qoder Security 场景一：加个YAML兼容，远程响应也能打穿客户端 第一步，是挖坑。

贴脸开大。

三是，按领域任务「定向解码」。

7、举办世界杯有多赚钱？国际足联39天收入150亿美元，超两届奥运会之和

于是，一门去年还没人当回事的学问，今年成了显学——给AI算账。

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

8、3-0！U17国足大胜澳大利亚U17：浮嶋敏的战术板，帅惟浩踢丢点球

作为场景方，晶泰科技借助赛事比拼机制，多家方案一轮比完即可快速推进，大幅缩短了方案比较周期，选定技术方中科院工业人工智能研究所IAII-IICS战队，在20分钟内连续完成9轮高精度实验操作，将样品装载、仪器交互、溶剂瓶与管路管理等生命科学实验流程转化为可量化、可比较的机器人操作任务。

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

按照原定计划，Anthropic准备对其进行一波下架或限流操作，以维持其高溢价和算力平衡。

喻杰将这个概念命名为Robotic Super Intelligence——比大模型圈热议的super intelligence，多出了整个物理世界的信息维度。