赛道水涨船高，爱诗无疑成为产业方和全球资本极为看好的下一张船票。

1、博亚平台 作为场景方，晶泰科技借助赛事比拼机制，多家方案一轮比完即可快速推进，大幅缩短了方案比较周期，选定技术方中科院工业人工智能研究所IAII-IICS战队，在20分钟内连续完成9轮高精度实验操作，将样品装载、仪器交互、溶剂瓶与管路管理等生命科学实验流程转化为可量化、可比较的机器人操作任务。

面壁智能、智谱等纷纷布局具身智能，是行业趋势。博亚平台「不再写提示词了」——最近，这句话正在AI圈疯传。

2、炸裂首秀！16岁张懿赵杰砍23+6，跨级统治世青赛，下一站NCAA？

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

3、小米扔深水炸弹：100000h真实数据，首次系统验证机器人Scaling Law

这就是「言出法随」，让创作本身成为游戏。

4、兜售49.8万㎡“蓝盒子”，宜家“避重就轻”

信息密度定律 智能是「喂」出来的 不过模型再聪明，也要有饭吃。

5、DeepSeek V4背后，梁文锋的转身

然而，这些都是附加条件，最完整的「完全肯定证明」，却始终无人能够完成，直到GPT-5.6 Sol Ultra的出现。

斯坦福大学的统计学大师Emmanuel Candes甚至将其评为「1950年后统计学界最重要的两大发展之一」。

企业原本最有价值的部分，并不一定存在于某一张数据库表里，而可能存在于员工如何解决问题、主管如何做判断、专家如何平衡风险，以及组织如何从结果中学习。

6、凯恩奥利塞数据炸裂却无冠，姆巴佩金靴缺荣誉，2026金球奖归属扑朔迷离

」 腾讯的选择是明确的——只做大脑，不做本体。

样本量从几千份跳到百万级，推理结果还能反复调优。

7、意大利队邀请安切洛蒂执教被拒绝之后，决定邀请瓜迪奥拉执教

2024年，他还公开看好过：超级智能会带来人手一个的私人导师，教育会从死记硬背转向解决问题，转向批判性思维。

3.5 Flash-Lite的输出速度达到每秒350个Token，是整个3.5系列里最快的。

8、突发！克莱愿意重返勇士！水花兄弟再合体！哈登确定新续约合同

数百万穆斯林把她当成偶像，掏出真金白银，支持她「行善天下」。

AI Coding的时机，卡得刚刚好 Cursor为什么在这个节骨眼上，非要抢一个设计主管？ 回看它的崛起，靠的是三板斧：硬核的工程能力、极快的模型接入速度、恐怖到不讲道理的迭代效率。

世界模型的推理系统正在变得「状态感知」 Light Interaction的价值不只在于某个模型上的提速，而在于它提出了一种更适合交互式生成的推理范式：交互轨迹不只是生成条件，也可以成为系统调度信号。

9、山东泰山对轰三镇，各进3球握手言和，三次四球大败后均无缘胜利

一个分数可能难以令人信服，那么，GPT-5.6离开考场、真刀真枪干活时是什么样？ 光有分不够 把GPT-5.6拉去干活 开发者Amir Bohlooli拿同一个物理模拟prompt，同时喂给Fable 5和GPT-5.6 Sol，本以为会被Fable碾压，结果反被GPT惊到。

一次优秀的赛题解法、一项实验室成果、一个早期技术设想，距离进入市场，还需要完成产品方向、客户需求、团队组织和融资路径等多重验证。

10、马龙许昕全锦赛夺冠，邓亚萍发文祝贺

高维开局，降维打击： 拆解小象电动的战略节奏 不过，宝马的M3属于百万级性能车，对成本不敏感。

同一场 Cyber Range 测试（1 亿 Token 额度），用 Opus 4.5 或 4.6 跑一次约 85 美元，用 GLM-5.2 约 46 美元，用 DeepSeek V4-Pro 只要 1.19 美元。

1、一群全国顶尖“割麦竞速玩家”跟大雨赛跑

这就是今天AI记忆的真正短板。

2、NBA夏联：马刺狂输7人上双老鹰27分 韩国李贤重4中0吞蛋

这在人类科研中非常致命——一旦某个大牛提出了一个看起来很美的方向，所有人都会一窝蜂涌过去。

3、“所有人都在紧绷地扮演松弛”，这舞蹈为什么吵上热搜

表1 15种「平台×模型」组合在四个维度及总体上的攻击成功率（Atk%）与安全得分（Sc.）。被传拒绝WNBA三分大赛邀约 约内斯库回应：我压根没收到官方邀请J-Space能够告诉我们模型「在想什么」，却无法告诉我们模型为什么以这种方式思考，它所依据的「理由」是什么，这些理由在何种意义上是「好的」理由。

4、5比0惨败之外：两名后卫伤退，新赛季三周后开打

2025年，OpenAI和DeepMind同时出手。

5、一岁一除夕，一年一团圆。

到了下半场，新赛点正悄悄挪向另一处：谁能攥住、又盘活你的数据。

6、37亿估值差逼退阿森纳 切尔西1.17亿抢下维拉前锋罗杰斯

本文主实验聚焦更贴近现实的指令微调（Instruction Fine-tuning）。

二是 Agentic Landing Page（智能体商品页），专门给智能体看的商品信息页：图片被解构成结构化描述加自然语言打标，人类不需要理解这个页面，但智能体能准确提取每一个卖点。

以 Qwen 系列为例，从 4B 到 32B，原子更换、移除、移动等任务的成功率明显提高，说明规模增长仍然有价值。

7、疯狂2换10！字母哥加盟热火，东部格局迎巨变 尼克斯卫冕劲敌出现

但真实的材料计算研究，并非简单的选择题作答。

官方还支了一招：让Claude在每个实时区块里写一句提示，告诉对方这块缺哪个连接器、去哪儿连上，省得他只看到一片空白，一头雾水。

8、主场输球怪特朗普，黑锅不能乱甩，马刺赢球靠自己+尼克斯内讧

据公众号「科技大满贯」统计，本次中国队没有高三选手: 作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。

后来上下文窗口越做越长，有人干脆把大段历史整个塞进去。

企业必须拥有一个描述业务对象、关系、状态和行动的语义层。

参考资料： 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圈忽然被这个消息刷屏了。