参考资料： 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、开云官方app 他把内容同步搬到自己的TikTok账号上，又拿下2200万曝光和5.2万新粉。

提交文件里赫然写着一句：Full proof: (Not yet complete.) 其中行业首个集成三维力触与动捕信息的ACE Sense Glove采集手套是点睛之笔：0.01N的力触觉灵敏度、小于2°的关节角误差、20余种异构传感器同步误差严格控制在1毫秒内。.18，全场最廉价的白卷。开云官方app为的不是问题背后的答案，是「思考」和「学习」这两个元技能，而写作和编程，正是训练它们的工具。

2、死亡之组？亚运会男足抽签：中国与阿联酋伊朗朝鲜同组 9月开踢

仅凭观察神经活动来理解模型的话语，就如同仅凭观察一个人的脑电活动来理解他所说的话——我们或许能捕捉到神经关联，却未曾触及话语的意义本身。

3、克罗地亚被绝杀，魔笛最后一舞

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

4、集体翻车：身价前十主帅全员出局，世界杯从来不买名气的账

他的问法是：分别给我这两边最强的版本。

5、60秒就够！科学家发现：每天间歇性生活运动，能显著降低死亡风险

成本账上，多元算力被统一纳管成一条生产线，不被单一芯片绑架；TokenOps让每一个Token可计量、可治理、可优化。

雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

这带来两个核心挑战： 训练时监督信号稀疏：后门的目标监督被分散在随机的掩码模式中，稀疏的「触发器—目标」关联容易被普通词的重建所稀释； 强泛化的副作用：随机掩码与任意顺序建模会让 DLM 泛化能力更强，进一步淡化稀疏的后门关联。

6、工业和信息化部赴有关汽车生产企业开展监督检查

大佬表示，按谷歌常规的6个月训练节奏，说不定年底，就能看到Gemini 4了。

奥特曼在X上发帖，不提新模型，开头就是一句认错： 过去12个月里，我们的表现并不理想，这主要是我的过错。

7、以雨为令！延庆快速响应——

Claude Science虽然图表动效做得不错，但关键矩阵和本征值全都没给，甚至在假设上把全局和局域去极化混为一谈，逻辑底层直接打架。

这套逻辑，和程序员熟悉的定时任务（cron）几乎一模一样。

8、阿根廷2：1绝杀英格兰，名嘴黄健翔道出4点赢球原因，说得非常到位

先写完整，再一步换名，要么全成，要么全不成。

但这不只是视觉层面的问题，功能上也是。

但如果你把它拆开看，会发现这场挑战，精确地踩在了具身智能最难的三根钉子上。

9、一场4-3！让哥伦比亚出局，瑞士进8强对阿根廷，世界杯或成欧洲杯

这或许是这场荒诞实验中，唯一令人感到欣慰的事。

估值直冲16亿美元。

10、北京国安VS申花：达万客串中卫，塞鸟+孔特坐镇中场，曹永竞冲锋

物理智能Scaling面临三道墙：数据墙、表征墙和闭环墙。

闭源模型的安全护栏也没能拉开差距。

1、株洲长郡云龙实验学校招聘教师

面对这一问题，商汤的解法是用32×32的大patch（普通生图模型是16×16）来覆盖住更大的画面，从而把token量直接砍到四分之一。

2、买罗德里的最大问题，不是薪资，不是健康，而是弗洛伦蒂诺的脸面

她甚至直接点破了「token单价」这个幻觉：最低token价格 ≠ 最低结果成本。

3、七场球定格成七个瞬间！阿根廷超额兑现了诺言！

其中，他详细拟定了审查机制，明确规定了AI不能用于无人类控制的致命武器和无差别监控。从六冠到中游，张雪机车的艰难飞驰，何尝不是路漫漫其修远兮这正是富内斯所不具备的能力。

4、医生实话：以下7种癌症治愈率达90%，确诊后无需紧张，安心治疗

0.3毫米，亚毫米级精细操作 积木咬合是亚毫米级的活儿，机器人必须在0.1–1毫米的尺度里完成精准、稳定、可控的动作。

5、名宿：我会直接把金球奖颁发给梅西！他多次拯救不出色的阿根廷！

过去几年，大模型领域最成功的经验总结莫过于「Scaling Law（缩放定律）」。

6、我在文明实践站过大暑（三）

而佟博士的企业认知系统（NSEAP ECS）和认知主权观点，从一开始关注的就不仅是防止数据泄露，也不仅是部署一个企业内部模型。

AI的证明策略，堪称一场精妙的「降维手术」。

「一镜到底」比拼接单个任务的 Demo 难得多，因为它考验的是，在人形大脑系统 COSA 的认知和调度下，三层系统同时运转的协同能力。

7、法国德尚归队注入母亲情结，法国三球领先瑞典誓为逝者与宿敌而战

她们速通的不是一款游戏，而是游戏开发中最早、也最昂贵的一次创意验证。

MiniCPM-V 4.6这款模型开源不到2个月，下载量即突破200w+，在多模态基础模型社区十分火爆。

8、体育营销案例｜比亚迪与海湾杯合作；拜仁慕尼黑与可口可乐续约

发布之后，她自己下场推PR、催增长，把它从一个内部原型推成了Anthropic最激进的那一步落子—— 把Claude从「聊天框」，推成「工作台」。

而这，正是「前店后厂一中心」最自然的延伸：从数字世界，一路走到物理世界。

当前尚不能替代成熟游戏工业，更不是「一句话生成 3A 游戏」。

也就是技能从训练场带到新环境，还能剩下几成功力。