去年IMO 2025全球只有6个人类解出P6。

1、英亚体育 也就是说，机器人不光要会动手，还得说得清自己为什么这么动。

然后呢？ 那个宣布孤儿院开张的女子，不是真的Lily Jay。英亚体育高德正式宣布其全栈具身技术体系ABot 完成升级，一次性发布了五款新模型（N1、M0.5、ER、AgentOS、C0），并在17项权威基准中拿下SOTA。

2、互捅局！徐新：全取3分 穆斯卡特：带3分回上海 球迷：就凭你钦点的玻璃大王？

打开 Claude 客户端，点击聊天框左下角的【+】-> Skills -> Manage skills -> Add -> Record your screen，即可开始使用这个新功能。

3、英雄谢幕+争议连连！世界杯8强诞生：欧洲6队+南美1队+非洲1队

从写prompt到写loop 中间隔着一道验收 一个会自己无限干活的AI，凭什么不是一台高速产出bug的机器？ 答案在一个被大多数人略过的环节：验收。

4、德国名宿开炮：阿根廷靠丑陋踢法混进决赛 输西班牙是足球胜利

相比上一代DM0，DM0.5在训练数据规模、模型架构、开放世界泛化能力三个维度全面升级。

5、荷兰表态：可以不给中国EUV光刻机，但落后的设备一定要继续卖

表面上，两家都在宠用户，实际上是在抢用户。

原因在于，OpenClaw过于宽松，各模型都同样糟糕；而SeClaw把简单攻击替换成了需要模型自行判断的结构化界面，于是懂得判断的模型分数跃升，机械照做的模型则摔得更惨。

Ashley在2010年带着31人的团队，做完了全球首个人类基因组的临床解读，耗时9个月。

6、投球节拍器！卡瓦利首季连续四月ERA稳在4以下，纳兹轮换双核数据喜人

这种机制的关键，是它把认知资产、任务执行和业务结果连接起来。

最耐人寻味的是ABC问询之后的操作：澳大利亚访客被跳转到本地页面，捐款按钮和那句「本机构不是慈善」的免责声明，一起消失了。

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

AI 漫剧：贯通市场选题、剧本创作、分镜制作和多语言本地化，让漫剧内容以日更甚至更快的效率转化为可规模化发行的内容产品。

对审美与情绪细节一向敏感的乙游用户，并没有因为内容使用AI而自动离场。

8、89比96负掘金！猛龙3胜2负结束夏联，旧将拉姆齐9投全中砍20分

为什么记忆注定会独立成层？让硅基存储成为碳基记忆和技能的载体。

7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

奥特曼自己的说法是，agentic产品的使用量一周环比涨了2.5倍。

9、买家反悔，这台纯白改装本田Fury重新上架无底价竞拍

再往前一步，页面上还能摆上会动手的控件，从一块看板变成一个能操作的界面。

从纯Transformer到MoE混合专家，从纯文本到多模态原生，从密集推理到稀疏激活——模型架构的迭代速度，堪比手机行业最疯狂的年代。

10、2026世界杯落幕，波切蒂诺去留未定，美国男足五名候选新帅出炉

一场铁人三项的启示 要理解商汤在做的事情，得先搞清楚一个技术概念。

当全球大模型还在拼参数、拼数据时，他们让AI像人一样记忆，像人一样思考。

1、让百亿龙头决定“原地倍增” 邵阳靠什么？

每个文件压在一页内，内容太多反而吃掉上下文窗口。

2、安世被抢大半年，闻泰亏87亿变ST，荷兰一句合作良好就想了事？

它还可与政府携手，培育一个第三方审计机构的生态，协助开展评估，并参与打造新的基准与测评。

3、罕见！图赫尔的英格兰“铁桶阵”，击破墨西哥人“高原不败神话”

通用Agentic，从「会调工具」到「能扛业务」 写代码只是Agentic能力的一半。1955年别克世纪双门Riviera翻新待售，322ci V8与变速箱均经大修局部动态越强，固定保留长时间上下文的收益越有限；而在回访阶段，去噪过程相邻步骤更稳定，也更适合缓存复用。

4、汉密尔顿自豪走出低谷：将来纪录片会透露去年匈牙利那周末一切

AI翻出了图论大师Tutte的「群流定理」（Group-flow theorem）。

5、384起家暴案创纪录，英格兰世界杯期间家庭暴力激增

第三步：构建「双元素集」标签法（Lemma 2.1） 这简直是AI独创的「魔法」。

6、阿森纳官宣4000万欧元签下克里斯托斯·佐利斯

但这丝毫不减损这个事件的冲击力。

泛化涌现是指，它开始在没见过的任务面前，凭底层逻辑把事做成。

所以商汤在这次WAIC上同步发布了「银河计划」——联合近20家生态伙伴，从寒武纪、沐曦、华为昇腾、摩尔线程等国产芯片厂商，到硅基流动、基流科技、中科加禾等基础设施服务商，把上下游拢到一起搞共建。

7、尤文国脚报告：小孔塞桑晋级十六强，19岁小将闪耀欧青赛

手速快的开发者，截了图。

Anthropic教育负责人Drew Bent举了个例子：让它讲「怎么构造线性函数」，它会先把对应的课标拽出来，标好学生在这一块最容易犯的那些错，再围着这些错去搭这节课。

8、5.5升V8经典奔驰560SL无底价拍卖 55年两任车主仅跑5.5万英里

连续性账上，Smart推理加速引擎榨出吞吐，Smart QoS引擎保住交付秩序，关键业务不被低优先级请求挤占；还有0-Day模型永新让企业跟得上变化，让新模型第一时间进入生产。

规格摆在那儿：100万Token上下文、超高算力档、逐条安全控制，几乎和最强旗舰Fable 5的架构一模一样。

报告的四个案例，正好预演了这两类情形。

一个令人惊叹的富足新时代，正在敲门。