在最难的「时序推理」子项上，HMS达到94.7%，Hindsight是88.7%，拉开了整整6个百分点。

1、火狐官网 它跑了20分12秒。

它们合在一起，共同拼出一张「场景—能力—平台」新产品矩阵。火狐官网至于谷歌，市场留给它的时间和耐心，可能真的不多了。

2、扎克伯格带老婆看Prada秀，时尚圈坐C位！除老婆没变其余全变了…

中国市场 iPhone 销量连续承压，库克此前在财报电话会上承认，Apple 智能的缺席是竞争力下滑的原因之一。

3、科普｜夏季儿童意外伤害高危场景与急救规范

第一场：有人所有数据全都要，有人偏要少 真机遥操作数据最对口，可太贵：一个人盯一台机器，采集还不如自己上手，想堆出互联网规模，账单比机器人先觉醒。

4、葡萄牙战平民主刚果并非冷门，C罗成球队走势关键变量

实际上，文本分类、信息抽取这类轻松活儿，跟长文档分析、复杂推理这类硬骨头，对算力的消耗差着好几个量级。

5、董路：我为足球小将放弃380万合同！5年后这些孩子能改变中国足球

无论是机械臂、机器人，还是智能汽车，本质上都是一个个「边缘计算节点」。

Skill是最现实的认知载体 在佟博士目前的体系中，Skill是企业认知资产最重要的工程载体。

前者靠语言表征就能大规模积累，后者还在满世界找「经验的通用表征」。

6、半决赛这关难过，姆巴佩在世界杯攻入20球，但半决赛3场0球

这套终极公式拆开就四样：结果、约束、证据、验收。

这四层拆开来看都不算新概念，但拼在一起，解决的恰恰是打工人最真实的痛：改第三版的时候别把前两版改崩了，生成的Excel打开公式还在、不用我自己重新填，交给老板的PPT不需要再花一小时手动调格式。

7、好消息！巴州巴音布鲁克机场6月23日正式复航

推理侧，则交给专攻机器人端侧的Mizar-Robo。

他不认识任何编程语言，却借助小浣熊捏出一套「总工之眼」，让二十年的隐秘经验，破天荒变成可复制、可结构化的数字资产。

8、德国天然气储备计划：全部成本由消费者买单

梅卡曼德覆盖近50个国家和地区，服务100多家《财富》世界500强客户，国内细分领域连续6年市占率第一。

参考资料： https://x.com/sama/status/2077817060068057493?s=20 https://x.com/JeremyNguyenPhD/status/2077719990116258162 编辑：元宇 Aeneas新智元报道 最近，一篇长文震撼整个AI圈。

至于那个迟迟不来的旗舰、和刚刚开跑的Gemini 4，都还是「期货」。

9、世界杯18球！姆巴佩狂飙：狂刷5大纪录 2项历史第1 紧追梅西

未来AI for Science更需要面向行动能力的Action Scaling，让模型在可执行任务、工具调用、环境反馈和物理验证中学习如何完成真实科研任务。

8K直出，算力却没爆 除此之外，交付级的图是要拿去印、经得起放大的。

10、从“分头出行”到“一体畅行” 济南智慧出行三件套上线

常年在加沙工作的人道机构，压根没听说过它。

百万奖金池，千万投资额。

1、江苏2026物理类录取线TOP40高校，南航南理生源被外省985争夺，考生不出省心态或在改变

也就是说，机器人被要求做到的稳定度，已经在逼近甚至超出人类手部的生理极限。

2、字母去哪大结局？美记曝热火已接近达成交易 或成东部最强球队

开源模型还没有复现这次跳跃，但它们追赶的脚步比去年更快了。

3、每体：英阿半决赛对决，绿洲乐队成为意外纽带

过去十八个月，AI Coding 领域暴热，任务成功率从不足 5% 飙升至 88%，代码生成、自测迭代的闭环已经跑通，赛道增量空间逐步收窄。为什么这5种“锅”没人买了？销售员：实用不太行，坑人第一名围绕「跑得稳、用得起、可持续」三大命题，此芯科技确立了三大战略支柱。

4、中国名记连场炮轰阿根廷：各方面都是受益者！FIFA的重点保护对象

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

5、突发！让张益唐苦熬7年的雅可比猜想，Fable 5竟一夜推翻证伪

真实工业环境里，一套系统要稳定跑起来，往往得机械、电气、方案、软件、AI一大帮工程师折腾几周甚至几个月。

6、“没指名道姓，可都知道他在说谁！”丘成桐采访，再提某院士逆徒

该框架不依赖于特定后门目标，而是通过统一建模，广泛支持多样化的后门目标；进一步将其实例化到概念注入、语义属性操纵、对齐绕过、代码载荷注入四类具体目标，验证了框架的通用性。

赛题更前瞻、产业更融合 黄浦江边决赛切磋 本届大赛最受关注的变化来自创新赛道：大赛首创的AI4S智能体CNS挑战赛，将竞技对象从科学领域算法模型进一步拓展至自主科研智能体，通过真实科研任务检验AI自主开展科学研究的能力。

从模型到推理框架 面壁这两个模型的推理效率，也得到了推理框架PhyAI的帮助。

7、一场1-0，让世界杯L组大乱，3队差距太小，克罗地亚紧追英格兰

当然，战略是一回事，落地是另一回事。

CEO喻杰博士，师从计算机视觉权威田齐教授和罗杰波教授。

8、关注

这张长卷里，小浣熊预测阿根廷将以2比1战胜西班牙夺冠。

写清什么情况下它该停下来问你，而不是闷头往下干。

韩语 —— 温暖+0.04σ，「不带评判地安慰你」「模仿你的语气」。

这一转换基于一个简洁的观察：大型语言模型本质上是信息处理器，其输入和输出均为文本，而文本的意义——即我们真正需要解释的东西——并不存在于神经元的激活值中，而存在于这些符号与世界、与知识、与人类实践之间的关系之中。