手和脚的能力提升是同步的——脚走得好，手也不会差。

1、英亚电竞 AI 已熟练掌握高效编码、标准化解题的能力，但在未知领域的自主探索、原创科研创新上，仍存在明显短板。

参考资料： 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圈忽然被这个消息刷屏了。英亚电竞每位开发者都好像被配了一位专属安全工程师，分阶段审查、验证、修复。

2、论4K+机型：苹果占比99%，华为占比53%

而有60秒记忆的模型，便能把它放回去。

3、直线距离160公里，上海vs广厦是CBA历史“最近”的总决赛

现在，账号粉丝已经突破320万，每个视频都有上百万的播放量。

4、批准沙特核协议，却打击伊朗镐山？美双标嘴脸露出，情报却来自它

这里简单解释一下。

5、决赛被零封，赛后却集体暴走？阿根廷这次真的玩脱了

对于游戏模拟、虚拟场景探索、机器人和具身智能训练等应用场景，推理延迟和显存成本是能否走向实际使用的关键门槛。

资本端同样用真金白银投票。

当一个问题的证明逻辑能够被压缩在几十页纸以内，AI极有可能就会用算力找出那条隐秘的小径。

6、7月25日外媒科学网站摘要：安慰剂是如何缓解疼痛的？

Chloe用镜头语言让你潜入汉普顿宫。

面壁智能到底做对了什么？答案是：「视觉Token的极致压缩」。

7、不只是微距镜头：XF30mm F2.8 Macro 的全能创作体验

Dyna和PI更相信真机数据：Dyna把机器人搬进真餐厅，PI靠真实数据飞轮和自主运行中的人工接管打磨。

ScienceOne给出的答案，是以S1-Omni为统一基座，向下接管2.7亿论文/专利，全球40多个国家3200多万科研项目，700多万产业研报、90PB大科学装置数据和近300个专业数据库，向上编排任务、调度智能体，把原本散落各处的模型、数据与工具，收拢进同一个平台。

8、太离谱，爆料中国男篮最新决定，又要被日本韩国队碾压了

过去这4年，ChatGPT本质上是个「会话工具」。

AtomWorld 对照测试显示，外挂工具仅能提升原子插入等强坐标计算类任务效果，面对需要判别原子关系、空间区域的复杂场景，提升十分有限。

从工程角度看，这项工作也强调了算法稀疏与实际系统加速之间的差距。

9、你每周跑步有30公里吗？那一定要会「轻松落地」

推理框架PhyAI是由明体科技（MemBodied）联合北京邮电大学、北京大学共同研发的端云一体、全栈优化的具身智能模型推理建构。

One More Thing 对了，文章写到这里，还有一个反转没讲。

10、CBA最新消息！男篮名将加入新疆队，上海续约古德温

机器人本质上是物理空间的Agent，高德对空间的理解、环境的拓扑结构、语义信息的丰富维度，是其他厂商难以企及的天然养料。

不过，人们上手后的实测，恰恰给出了另一半答案：GPT-5.6好像，正在把「会做题」和「会做事」这两件事，慢慢拧到一起。

1、抢广东3冠国手！同曦3年顶薪签约杜润旺 还计划签四川主力李玮颢

等价定理：将后门转化为诱导掩码过程 直接对样本施加不同权重会带来高方差的批更新与较差的采样效率。

2、顶薪合同到期！CBA昔日顶级后卫断崖式下滑，季后赛场均0分被雪藏

它的作用不是替代规划模块，而是让规划结果能够在执行过程中持续成立。

3、新秀瓦格勒有意加盟篮网

这种现象的逻辑，其实都藏在资本的周期里。又美又强无弱点，中国女篮冒出统治级球星，超越王思雨比肩苗立杰OpenAI赌入口。

4、5款专业跑鞋同样适配Hyrox

商业广告 · 山岚高山乌龙茶 再看一张奢侈品级的茶叶广告，最考验的是材质和文字。

5、Here we go！罗马诺：米兰200万欧元签下特鲁瓦后卫迪亚瓦拉

结果，这还没完...... 今天，Claude-Opus-5突然惊现Vertex平台，最快本周晚些时候发布。

6、英超夏季系列赛前瞻：利物浦纳什维尔迎战桑德兰

大脑（ABot-ER）：具身大脑，负责统一的逻辑推理与环境认知。

围绕这张表，研究团队给出了几条结论。

不是那种把文字往模板里一塞了事的「假PPT」，而是图文混排、数据图表都到位、排版逻辑清晰的真文件。

7、敬酒时婆婆笑着给空红包，我拿起麦克风一句话，丈夫一家抬不起头

所以K-12绝大多数学生，压根没有账号。

这是一支跨学科的复合型、国际化、多元化团队：有人师从计算认知记忆奠基人，为AI注入人类记忆的理论灵魂；有人深耕世界模型与推理优化，把长序列记忆从算力黑洞变成可落地的工程现实；有人曾主导微软小冰核心算法开发、ToDesk、QwenC多模态推理Agent等千万级用户产品，把前沿论文变成真实世界的生产力。

8、“茅台系”基金驾到：渭南科创要崛起？

一个提示词换来一次回答，一个循环换来的，是合上电脑之后还在替你干活的系统。

褚染洲最后说，以前讲智慧城市，讲的总是一些冷冰冰的机器和网络，没有生命，没有生命的力量。

这样一来，完整的Token从头到尾都没有作为一整串出现过，扫描器自然什么也查不到。

不同任务的复杂度天差地别，落地时企业却习惯性地全量呼叫最高性能的模型。