四条战线，全栈闭环 漫步WAIC展馆，两百多家公司都在往自己身上贴标签。

1、英亚电竞 在一镜到底 Demo 中，机器人不知道下一轮要面对什么布局，S2 必须实时判断下一步该做什么。

八个月前，OpenAI就发过ChatGPT for Teachers：同样免费、同样面向美国K-12老师、同样免费到2027年、同样拉上了美国教师联合会（AFT）。英亚电竞对多数行业客户，这套地基还必须建在自己家里——数据不出门、模型自主可控、智能体被约束在安全边界之内。

2、燃情东北超·魅力黑龙江｜阿城万事...

Cursor，无疑将成为她大展拳脚的新阵地。

3、莫德里奇谈和米兰续约：我渴望重新证明自己的心情无比强烈

参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

4、阿根廷让二追三！梅西一传一射，恩佐补时绝杀，判罚尺度引争议！

现有的智能体安全评测存在两个惯常的盲区。

5、告别内卷与失恋，昔日花滑女孩决定开启一场2万公里长跑

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

一句「拿不准就停」，比事后擦屁股省太多。

」 奥特曼现身斯坦福CS153课程谈AI时代教育，坦言自己低估了教育系统变革的速度。

6、中超第20轮明天7月25日赛程：海牛PK津门虎，上海德比申花PK海港

我说「第14页的策略建议再加一条关于私域运营的」，它直接在原文件上改，不会把前面已经确认好的内容弄乱。

参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。

7、主编有态度

真正决定一家企业能走多远的，是下半场的新法则。

在处理上下文记忆时，Token的极致压缩让MiniCPM-RobotManip计算成本也大幅下降。

8、Aimé Leon Dore x New Balance 全新系列终于来了

她或许不叫这个名字，不裹头巾，不谈信仰。

在众多出海参展的内地企业中，小象电动的S03展位迎来了一位重量级访客——香港特别行政区政府创新科技及工业局局长孙东教授。

这一意象恰恰警示我们：即便我们能观测到模型「正在想什么」，也未必能理解它「为什么这样想」。

9、合同到期走人！山东男篮全能锋线遭邱彪放弃，能否重新证明自己？

此次开源的不仅是模型权重，而是完整的技术栈：模型+推理框架+部署方案。

科研智能体的新赛道 AtomWorld的核心价值，不止于定位模型失效，更在于把 「材料智能体不会建模」 这个模糊痛点，拆解成一系列可测量、可追踪的原子操作能力 —— 从基础元素替换到空间区域判定，再到连续几何理解，逐层厘清失效类型、程度与规模增益规律。

10、一句“没必要” 成了世界杯球衣供应商最扎心的三个字

省下来的时间去哪了？去和工程师结对，去自己写代码，去和模型直接较劲。

UC伯克利计算机科学/统计学副教授、前Google DeepMind研究科学家Jason Lee直呼：「数学完了。

1、男篮热身赛名单出炉！廖三宁高诗岩在列，3大锋线离队，胡金秋压力不小

谁手里攥着最庞大的物理世界数据，谁就可能率先触碰到智能的上限。

2、四冠！2025 ITF国际青少年网球巡回赛（J60）广州南沙站完美收官

盲测打爆世界顶流闭源通用模型 接下来，我们就用真实科研任务做了一波盲测。

3、CBA：北京男篮正式放弃麦基，米切尔告别CBA，国内教练没有杨瀚森说明书，山西续约迪亚洛

然而，一觉醒来，画风突变。感恩有您，母亲节快乐！_网易订阅把视野放到全球，与逐际动力最值得对比的是三家公司：Figure（美国，全球最高估值人形公司）、Flexion（欧洲领先的具身模型公司）、Skild AI（美国，高估值具身基础模型公司）。

4、库明加不想老詹回骑士！浓眉去骑士？眉有的事，詹且等待！

各大模型在赛道上各自狂奔，跑完了全部6道关卡。

5、林青霞方不再隐忍！狠狠替谢贤出了口恶气，原来我们都被骗了

7月15日，银河通用发布WAM-TTT，全球首个面向具身智能大模型的测试时后训练框架。

6、佛得角“奇迹球场”：今天还有11个陕西人

可以说，整个过程，丝滑无卡顿。

这是原力灵机在7月初的首届开发者大会Action 2026上，刚刚交出的答卷。

在另一个任务里，GPT-6发现别的系统有一些成功但未公开的答案，就动了心思—— 想从评测后台，把这些答案「捞」出来。

7、腾亚萱｜和贾俄仁加结婚后，我成了训练营的老板娘

OpenAI的Codex Security，选择的是仓库级扫描路线；Anthropic是把安全审查能力集成进Claude Code的编码会话。

DA-Nav跨城泛化与压力测试 其中，98.15%的纠正成功率最能体现这项研究的价值。

8、最好的生日礼物 是网球运动员不肯放弃的十年、二十年

香江之畔的驻足，资本的真金白银 技术硬核与战略清晰，往往能引来最具慧眼的伯乐。

闭源并不自动等于安全。

正如邵天兰所说——出海不仅仅是一项任务，更是一种能力。

原因就在于，很多机器人根本不记得自己按了几次。