回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

1、乐鱼全站 为了客观量化该项能力，研究团队搭建了AtomWorld评测框架，框架依托材料领域通用晶体学信息实现自动化测评。

企业真正的Alpha，往往也正存在于这些Skill中。乐鱼全站无论是机械臂、机器人，还是智能汽车，本质上都是一个个「边缘计算节点」。

2、德天空：多特为卡雷察斯报价3000万欧+500万欧浮动遭根克拒绝

但彼时，苹果同时也明确了：新 Siri AI 不会立即登陆中国市场。

3、西班牙唯一没赢的球队，不是阿根廷法国，而是这支新军

传统工业机器人搞得定重复、标准、大力气的活，但一碰到「每次都不太一样」的精细活就束手无策。

4、山东大动作！签约优质3D场均8分+引进欧洲名帅，邱彪帅位暗藏隐患

参考资料： https://openreview.net/forum?id=PEyouQzOLD 编辑：LRST新智元报道 今年WAIC开幕当天，上海世博展区挤满了各种机器人、大模型和智能体。

5、【CBA联赛】第二十四轮｜浙江稠州金租95-102不敌天津先行者

真正的出路，是把已经散在各地、型号不一的存量算力盘活，聚成一股能用的力量。

对于这道题，Fable 5定义了一个量Φ = T + N。

第一个问题，是企业正在支付大量Token成本，却没有获得相应的业务价值。

6、23+7后23+8+5！德明抡臂大风车展现天赋 篮网耐心培养终获回报

附论文原文链接： https://arxiv.org/pdf/2607.11638v1新智元报道 人类世界，快被AI Coding埋的雷淹没了！ AI是一个过目不忘的代码高手，然而，它不仅学到了人类的智慧，也完美复制了人类在互联网上留下的海量安全漏洞。

工厂要的是快准稳的机械臂，人形反而笨重；仓库要的是能满场跑的轮式机器人，两条腿不如轮子效率高；便利店要在货架间穿梭的服务机器人，全尺寸人形连转身都费劲；家庭场景更不用说——橱柜下面那点空间，你让一米七的机器人蹲下去够东西？ 不同环境天然需要不同的身体，用一种形态解决所有问题，就像用一把螺丝刀拆所有电器——理论上也许行，实际上一定不行。

7、北控教练组大洗牌！顶级外教担任主帅，上赛季率领黑马打进季后赛

推文链接：https://x.com/satyanadella/article/2066182223213293753 这篇文章中最重要的概念，是他提出的Token Capital。

努比亚豆包手机大模型预计将在 WAIC 期间亮相。

8、世界杯黑马新星！阿隆索点名强挖！切尔西领跑 3000 万天才

值得一提的是，ABot-N系列工作已经入选了CVPR年度最佳论文的候选。

肩、肘、腕、腰、腿五个维度协同发力，几乎就是真实对抗的全身运动。

这类模型可以沿正确路线前进，却未必知道自己何时已经走偏，更不知道应该如何重新回到路线。

9、鼻塞、流涕……近期感冒增多，谨防鼻病毒感染

反低效内卷 沉淀科研复利资产 如果说验证滞后制约了科研即时落地效率，那么科研经验的零散流失，便是影响 AI 科研长期进化的核心因素，也是大模型科学探索能力增长缓慢的深层原因。

响应卡顿、排队等待，个别长文本请求甚至会霸占通道，把其他短请求活活拖慢。

10、太马“破三礼”有点东西

今年，密歇根大学、斯坦福等机构测算发现，在一组真实软件工程任务中，编码Agent每生成1个输出Token，背后平均要累计处理约154个输入Token。

其中，中国科学院自动化研究所牵头磐石科学基础大模型技术攻关，其产业化平台中科闻歌主攻基础大模型训练与文献、创新评价智能体。

1、弗里茨怎么就成了小兹维列夫的苦主呢？

但方向已经很清楚了：AI正在从「生成内容」，走向「生成软件」。

2、加时鏖战！瑞士假摔真难看，阿根廷晋级四强！

就像一个什么菜都能做的后厨，每做一道菜都得现翻菜谱、现找工具、现调火候。

3、1966年，周总理的秘书许明被江青迫害自杀，她说：我丈夫孔原无罪

谁也没想到，真正的风暴，其实来自大洋彼岸。倚美搞事，菲政府连“为奴”血泪史都忘了Scaling Law遭遇能力边界 图2：不同模型在AtomWorld上的总体表现。

4、全国团体冠军赛决出八强，淘汰赛抽签出炉

顺着这个思路，奥特曼主张将教育目标从「记住更多知识」，转向「提出更好的问题」；从考记忆，转向考判断、考创造、考跨学科的真本事。

5、山东男篮酝酿重磅交易！邱彪锁定国手级控卫，高诗岩盼来好帮手？

模型可以升级，也可以替换。

6、划时代升级！索尼FX5升级点前瞻

真正让「一中心」配得上「自主式」三个字的，是它开始自己管自己。

这可不是一张太阳系的图，是一个真正运行的太阳系！ 太阳坐在正中，行星一颗颗铺开。

它们共同面临一个永恒的物理学挑战：算力越高、电池越重，但终端又必须追求极致的轻量化。

7、山东泰山迎来管理层人事更迭，于金永单场三扑点球封神，夏窗六离队零引援，豪门吸引力不复从前

对一家日调用量以亿计的大企业来说，这几十个百分点的落差，就是财报上真金白银的差别。

他说这是一个很漂亮的证明，然后给了三个形容词： 短。

8、退役三年嫁人又生娃 前乒乓一姐变漂亮气质超好

ABot-N1开放环境全自主导航克服定位偏差 一旦判定导航路径或定位有误差，「慢系统」会立刻通过本体系下的视觉感知，让机器人靠像素-语言双思维链来实时行驶在合规路面。

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

聊完发现，展台上这些产品背后，藏着一套不太一样的底层逻辑。

7 月 21 日，Anthropic 在 Claude 桌面端 Cowork 的 + 菜单里加了一项「Record a Skill」：录屏，一边操作一边用语音讲解，录完后 Claude 自动把演示转化成一个可复用的 Skill。