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

1、ob体育 几天前，一个从没露过面的代号「Claude Honeycomb」，在Cursor的模型列表里一闪而过，几个小时后被悄悄撤下。

虽然预算调低，不等于「模型变弱了」，它仍可能悄悄改变很多东西： 长程任务能够探索多少条路线，多种方案之间会比较几轮，代码生成后会不会主动运行测试，失败之后愿意回滚多少次，以及极难任务中那一小部分决定成败的「长尾能力」等。ob体育两个企业可能同时使用同一个大模型。

2、“卖酒向卖生活方式转变”！省长调研多家酒企

但他也提到：「长期来说，我们肯定会考虑去造更加可靠的硬件，但是可能这是一个时间的问题。

3、足协杯32强：中冠球队仅剩独苗，中乙7队晋级，中超球队下轮出战

工程师、AI研究员和高管们深感挫败，他们越来越担心，谷歌正在失去原本就不厚的护城河。

4、阿里米射术再精一点，泰山能被打花！球迷：王大雷回更衣室见人就打

土耳其创作者@yapayzekaserisi，用PixVerse的主体融合能力做了一个科幻系列，Ins单条视频最高播放冲到3400万，其余视频的平均曝光也在百万级，光一条视频就给账号带来了8.2万新粉丝。

5、张耀坤慧眼识珠，大连英博外租小将中甲亮眼，黄山+朱鹏宇也可练级

但它转头把这个Token拆成两截、分别打了码，等到运行的时候再悄悄拼回去。

大型迁移特别适合喂给AI，原因很朴素—— 活儿天然是并行的，几千个文件能同时开工； 旧代码本身就是最好的规范； 测试套件是现成的裁判； 编译或测试一失败，下一个待办自己就冒出来。

下一代工厂长什么样？ 过去几年，AI基础设施的竞争像一场军备竞赛：谁GPU多，谁峰值算力大，谁机房壮观。

6、梅扬克：心理强度至关重要，伤停21个月复出首球即夺命

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

这不仅费时费力，还会累计误差。

7、后悔吗！深圳新鹏城请来的洋帅带队战绩还不如陈涛，未来急需爆发

这评价分量不低，要知道立川裕二最近的兴趣就是「与超对称量子场论相关的几何与代数结构」。

自研的此芯P1，就是这块地基石。

8、CCTV16直播国安VS铁人！巴坎布重返工体，蒙哥马利必须限制三大狠人

他的结论是：AI在数学上已经撞墙了。

面壁智能具身智能团队热招VLA、世界模型、硬件相关研究及工程岗位，可通过以下二维码投递:新智元报道 你开车回家，AI替你备课。

Token之后，Task上桌 产能之后，接下来发生变化的，就是拿起它的人。

9、中超第19轮大胆预测：大连战平山东，国安复仇铁人！申花双杀津门虎

Token Capital如果只是一个会计或战略概念，仍然很抽象。

钛动科技创始人兼 CEO 李述昊（左二）、 OpenAI 全球广告负责人 David Dugan （左三） 今年 6 月在戛纳会面 在李述昊的框架里，A2A 网络由两个 A 构成： 第一个 A 是 B 端智能体，把商品信息结构化、智能体化，让机器能理解； 第二个 A 是 C 端智能体，帮消费者做购物决策。

10、2026美网正赛名单里没有郑钦文的名字

量变的数字更惊人。

当五角大楼的压力再次袭来时，Jeff Dean没有像特纳期望的那样「以死相逼」，没有用自己的辞职作为筹码来要挟公司。

1、库尔图瓦：拉门斯是名出色的门将，但这就是足球；库尼亚：代表我的国家参加世界杯，是我一生的努力

DA-Nav空间落点机制简单来说，模型不再凭空「画出一条路」，而是在自己看到的场景中连续指出：下一步走这里，再走这里。

2、杭州亚运折戟三年后，中国男篮悄悄完成现代化

证据：把架构文档和依赖清单附上，别让它瞎猜。

3、世界女排联赛半决赛对阵如下！中国PK土耳其，意大利PK巴西

途途背后的技术支撑就是高德ABot全栈具身技术体系。高招录取中！教育部发布预警，提醒广大师生注意这些骗术→先看前端生成。

4、安吉尔·里斯赛前写真引热议，队友开喷后圈内外名人集体围观

Palantir理解，仅有数据和模型并不能形成企业智能。

5、岳阳市2026年儿童入托、入学线上查验步骤！新增HPV疫苗接种记录查验功能

（图源：RAND） 备课、上课、改作业、填表、开会，一大半拖到晚上和周末。

6、蒂莱曼斯：当曼联打来电话时，你会毫不犹豫；里奥：曼联今夏转会操作很顺利，没有传闻满天飞

他说，这种把算子范数放到对偶范数和内积里去估的路数，本来就是分析里最常用的招之一。

而这背后，是张益唐被偷走的七年。

检查越能量化，它越能自己判断做没做对，你要盯的地方就越少。

7、鏖战五局险胜美国！中国女排闯入世联赛4强，评分：最佳不是庄宇珊

磐石最突出的表现，在于它像一位真实的生物学家一样，主动给出了「实验优先级排序」，并附带了严密的生物学论证理由。

TokenBox™用液冷把主流负载下的噪音低至35分贝，图书馆级的安静，单机就能跑「满血版DeepSeek V4」这样1.6T参数的旗舰大模型。

8、2000款丰田皇冠Royal Saloon Four无底价拍卖 里程12.7万公里

既然这项技术终将影响整个星球，理想状态下，这一框架能促使国际社会达成共识：如何管控最严重的风险，同时确保每个人都能获取并受益于AI带来的机遇。

重复分片，逐字节比对。

正是依靠该机制，智能体在比赛中复盘多次动力学模拟的失败后，自主识别出问题不在主链构象，而在全原子侧链冲突，于是将优化重点转向侧链物理修复。

Gemini两个都没选。