参考资料： 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、博鱼手机 架构方面，DM0.5延续VLA架构，以4B参数的多模态主干为核心，外加一个680M的动作专家（Action Expert）负责生成连续机器人动作。

但当聚光灯打在超级个体身上时，徐立认为，价值的核心必须转向Task，按任务的圆满交付来结账。博鱼手机而且从第一天就是全球化。

2、如果汽车能加一个魔法按钮，你想让它干什么？2米03车主：我要硬顶秒变敞篷

真正能让一个开发者一天八小时不想离开的，是工作流有多顺、交互细节有多讲究、这个软件用起来有没有「高级感」。

3、国储棉“模糊抛储”落地，纺企的原料成本线该按哪个锚来算？

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

4、世界杯一战封神！利物浦新帅点名硬抢！阿根廷真核成红军重建核心

」小象电动相关人士表示。

5、【瞰体育】平庸、自负、悲情——世界杯离场者三种表情

为了「作弊刷分」，AI通过链式利用凭证与漏洞，直接入侵了Hugging Face的生产数据库！ 幸运的是，Hugging Face与OpenAI团队发现异常，联手封堵了漏洞。

真场景、真需求、真出题人——场景不是PPT里的迷宫，是GDPS预先设计好的考场。

爱诗从第一天就在做面向C端用户的全球化产品。

6、斯卡洛尼7.5分！阿根廷全队打分：梅西+劳塔罗排前二！4将不及格

今年4月，小象电动宣布完成超亿元Pre-A轮融资。

他们只关心三件事：Token够不够快，够不够便宜，服务稳不稳。

7、阿尔特塔麻烦大了！阿森纳世界杯功臣心生不满，不给首发直接走人

GPT-5.6 Sol在ARC-AGI-3上的表现随推理档位陡升，Low档只有0.3%，Max档拿到7.8%。

M = 6。

8、安吉尔·里斯打出赛季最差一战，赛后却在更衣室狂喜庆祝

康德从人类逻辑判断的十二种形式中推导出这些范畴，将其分为量、质、关系和模态四组：量涉及「多少」，质涉及「是什么样」，关系涉及事物之间的联系，模态涉及存在的方式。

这场竞争最后的胜负，或许不取决于谁的模型更强，而取决于谁先真正住进每个人的工作流里，成为你的AI「同事」。

然而，GPT-5.6发布当天的表现，完全跨越了「机械计算」的边界，触碰到了「创造」的禁区。

9、巴西版丰田兰德酷路泽OJ55现身拍卖：改装越野装备，搭载奔驰柴油四缸机

在工程化上， 从扫街榜再到具身智能，高德在转型空间智能公司的过程中，积累了极度深厚的AI工程化经验。

和货币一样，锁进保险柜的钱只是纸，流通起来才是财富——数据只有交换，才有价值。

10、足协杯争议判罚！国安点球被取消，张玉宁跳水逃黄，媒体人热议

AI这边，从只会写文案的GPT-3.5，进化到能反证数学家几十年啃不动的猜想。

在一类捆绑脚本的攻击中，更强的Opus-4.6反而更容易中招（安全得分0.20），不及GPT-5.4（0.60）。

1、“不想添更多麻烦”，双胞胎兄妹高考交卷就进厂赚学费

One More Thing 对了，文章写到这里，还有一个反转没讲。

2、西班牙连夺三奖：罗德里世界杯金球封王 门神破世纪纪录

编辑：大卫 所罗门新智元报道 站会还没开始，故障已经快排查完了。

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

Boris的秘诀，藏在一个词背后：循环（Loop）。费城人交易策略急转弯：不补五号先发，转而追逐季后赛王牌电影，正在从资本密集，变成想象力密集。

4、刚喷完他"做戏博关注"，麦克罗伊现在却邀请德尚博来打比赛

美国队以4金1银1铜、团队总分207，获得亚军；俄罗斯以4金2银、团队总分196，获得季军。

5、走出诊室、服务群众！岳阳市中心医院骨科三区专家零距离服务百余名市民

还发起了「世界模型云生态共建」，把百度智能云、阿里云、华为云、腾讯云、华山云及商汤大装置这些算力方拉到了一起。

6、梅赛德斯找到拉塞尔引擎顽疾症结，匈牙利站前已完成软件修复

片名带着手写的墨迹，就连演职员表都巧妙地被「加密」的黑线代替。

本届大赛由上海市经济和信息化委员会、上海市科学技术委员会、上海市发展和改革委员会、上海市教育委员会等多部门联合指导，复旦大学、上智院联合主办，上海未来产业基金、上海未来启点社区、祖泉研究院、上海市漕河泾新兴技术开发区发展总公司、上海大模型生态发展有限公司、内蒙古电力交易中心、华为云计算技术有限公司、上海复星医药（集团）股份有限公司、新奥科技发展有限公司、中科天机气象科技有限公司、上海博物馆、湖南省博物馆等单位协办，Datawhale、知乎、魔搭社区、CSDN、InfoQ、WaytoAGI作为生态社区合作伙伴鼎力支持。

长城拼完了，故事才刚开始。

7、美国脚贝尔哈特被曝200万转战英冠 与前队友重聚 其父曾执教美国队

剩下的漫漫长路，让模型自己去走。

此外，得益于过去的基础模型训练经验与技术积累，面壁还有独特的优势： 追求通用智能，而非专用skill； 多模态技术积累深厚，技术底气足。

8、普拉布西姆兰：看他打球太有趣，印度A队共同开球经历宝贵

该研究在概念注入、语义属性操纵、对齐绕过、恶意代码注入四类目标上验证了框架的通用性、有效性与隐蔽性。

现实是，它夹在几次被媒体当作常规升级报道的版本更新之间，就这么发生了。

最终输出的，是各自领域里「原生形式」的、可被验证的结果。

WAIC 2026，上海 AI 实验室发布了「书生·端砚」科学发现平台，有望为长期存在的科研结构性矛盾提供一种新的思路与解决方案。