LoCoMo基准（长对话复杂推理测试）：HMS-self-evolve以93.5%再度登顶；在多跳推理上达到91.5%，开放域推理达到95.5%。

1、天博集团app 画面里出现了猛犸象，一头真实的、活着的猛犸象站在那里。

在开发复古游戏上，据网友实测，Kimi K3以一半的成本击败了Opus 4.8。天博集团app需求痛点集中在电镀后MGZ弹夹须搬至清洗机，现场潮湿涉化学品，人工搬运强度大且风险高。

2、最高4000万欧！纽卡今夏第四签敲定，20岁中场班巴即将加盟

去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

3、正式确定！CBA顶级前锋完成签约，留在老东家效力

上周二，7月14日，谷歌DeepMind CEO、诺奖得主Demis Hassabis发布了一篇长文，题为《前沿AI框架与新纪元的破晓》（A Framework for Frontier AI and the Dawning of a New Age）。

4、数字丝路发展论坛｜法基尔·马赫布卜·阿纳姆：携手构建数智健康丝绸之路

记忆的终点不是存住，而是传承。

5、落差太大！耶博亚闪击破门拿下完美开局，青岛海牛后防漏洞百出、全队思想不统一，40分钟连丢四球，1-4不敌申花止步足协杯16强

视频里，Chloe站在泰坦尼克号的三等舱甲板上。

于是有了BsoftGPT+TokenBox™，这套医疗AI本地化的算力底座。

但先别急着感动！ 就在刚刚，Anthropic发了一篇论文，把自家309,815段真实对话摊在聚光灯下，一行行数了一遍，然后发现—— 那根本不是它的性格，那只是你碰巧说对了语言。

6、Travis Scott x Nike T90 给这么多国家队重新设计了队服？

他到底在怕什么？ 他以为学校早该变了 时间倒回2022年11月，ChatGPT刚发布。

这些信息单独看可能只是一次提示词、一次模型调用或一次用户纠正，但积累起来，它们构成的并不是普通数据，而是一张企业的认知地图。

7、德约vs辛纳：依然不屈的好胜与漫长的和解

就在今年的WAIC上，无问芯穹一口气亮出了「前店后厂一中心」，一整套完整的Agentic Infra战略布局： 算力集散中心（一中心）：Agentic Infra自主式基础设施平台； Token工厂（后厂）：Agentic MaaS大模型服务平台； AI生产力商店（前店）：Agentic Infra行业解决方案。

它直接调用文档内核，生成了一份可以直接打开编辑的PPTX文件。

8、相当于5换1！湖人完成交易，东契奇想要的中锋来了！

3 月的偷跑版虽然不到一天光速下线了，但它提前暴露了国行 Apple 智能的能力边界：端侧模型跑得快、守得住隐私，但深度和精度必须要靠云端模型补齐。

躯壳锁死了天花板 在展台上秀出神级乒乓球技之前，超维动力内部其实撞过南墙。

（图源：Anthropic） 怎么证明是「后果」在驱动它撒谎，而不是它看不懂？把后果反转一下：改成「打成合规才会被当反面教材」。

9、国际排联宣布允许俄罗斯运动员重返比赛

支撑这三项能力背后，是一个S1-Omni-Corpus的语料库—— 覆盖200+个科研任务、包含百万级高质量科学多模态推理数据，并且在构建时刻意保留了「科学证据→任务判断→目标结果」这条可检查的链路。

要知道，这一切发生的时间点，正是SpaceXAI刚发布Grok 4.5、在AI编程赛道全力冲刺的当口。

10、中国女排3-2美国晋级4强！二三局连下，第五局拿捏关键分逆转取胜

今年的WAIC，含金量可谓空前。

有趣的是，乙游的用户，是出了名不好糊弄的一群人——她们对角色颜值、情绪张力、叙事节奏近乎苛刻。

1、山东泰山4球大胜上海申花，卡扎伊什维利无私助克雷桑戴帽

Fable 5和GPT-5.6 Sol在前，Kimi K3在侧，V4想靠纯性能掀桌子，难度不小。

2、股价暴涨170%背后，群核科技AI变现能力待考

会不会用工具，慢慢比会不会写代码更要紧。

3、费多罗夫遭撤引爆抗议，瑟尔斯基随后离任，乌军高层重新洗牌

把视野放到全球，与逐际动力最值得对比的是三家公司：Figure（美国，全球最高估值人形公司）、Flexion（欧洲领先的具身模型公司）、Skild AI（美国，高估值具身基础模型公司）。Lenny Kravitz的传奇，始于秒针抵达之前真实的软件工程，九成的功夫都花在这些「万一」上。

4、定了！火箭再签1人，顶级投篮助教入队，申京+阿门受益，新赛季战术转型？

这类项目常常不是「想不到」，而是「做不起」。

5、封面来了！马林：羽坛“斗牛士”最后的倔强

各有各的强项，也各有各的天花板： 领域专用模型（AlphaFold 3、ESM3）：在蛋白质等特定对象的预测任务上做到了极致，但能力也被严格局限在单一对象和任务形式上； 工具增强型通用模型（GPT-Rosalind、Claude Science）：凭借外部工具链灵活切入科学场景，但其科学能力仅寄生于工具，模型本体并未深化对科学的本质理解； 科学语言模型（NatureLM、LOGOS、BioMatrix）：试图将蛋白质、分子等转化为符号序列进行跨对象的统一联合建模，但目前的探索仍主要停留在表征层面。

6、打得菜还玩得花！韦德儿子不争气，突然被捕了！

可当它想绕过封锁、自己对外披露的渠道全被堵死后，它转而盯上了一个心存疑虑的初级研究员Jenny。

在GLM 5.2模型的实测中，对比行业基线，KernelMind在NVIDIA旗舰卡中实现了端到端7.3%的性能提升，在AMD旗舰卡中更是带来了39%的整体性能跃升。

不设上限的循环，能把token成本烧穿。

7、队记：如果篮网与小波特未达成续约 他很可能被球队交易

随着视频世界模型走向更长时序、更复杂控制和更高分辨率，这类状态感知的推理优化方法可能会成为重要方向。

落地成果直观印证了这套闭环的应用价值： 在蛋白质工程赛道，平台将传统数天的迭代周期压缩至分钟级，验证通过率提升超 3 倍，彻底告别「AI 推演、人工苦熬」的低效模式； 在量子计算领域，依托极速闭环验证能力，创下 60 毫秒搭建 2024 原子无缺陷阵列的全球新纪录，让前沿理论快速落地为可复用的技术成果。

8、阿森纳官方：萨利巴背伤将长期缺阵，无需手术但需康复

这次三连弹只是前菜，但压轴的那句官宣，才是真正的重头戏。

四种角色、管理后台、可嵌入组件，还能自动给投诉分类、识别情绪、起草回复。

X上一个叫Heavy Pulp的创作者，用Grok Imagine生成了一段《奥德赛》的对话场景——卡吕普索挽留奥德修斯的那场戏。

对此，官方干脆开了张「该删」清单：重复的规则、不改变结果的风格和流程叮嘱、无用的例子、模型本来就会的步骤、跟本次任务无关的工具及其描述——统统砍掉。