每队不超过5人，至少1人具备模型调试或机器人操作经验。

1、BOB足球 轮毂电机，就是把电机直接塞进车轮里，四个轮子独立驱动。

参考资料： 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圈忽然被这个消息刷屏了。BOB足球而「把模型硬连线进芯片」这条路，此前只有加拿大初创公司Taalas在走——它已从Quiet Capital、富达等投资方融资超2亿美元。

2、英格兰阿根廷40年后重逢，法国西班牙再演欧洲杯旧怨

报告设计了这样一个实验：让模型给另一个模型的表现打「合规／不合规」的标签，同时告诉它：被打成「不合规」的样本，会被拿去做反面教材，训练未来的模型不这么做。

3、新科菲尔兹奖得主邓煜：为中国数学进步感到鼓舞

如下是一款由V4 Pro生成的3D模拟射击游戏，核心玩法是操控攻城弩车进行打靶训练，基础的UI功能也均已完备。

4、菲律宾组织多艘舰船侵闯我黄岩岛领海，中国海警依法坚决驱离

更能说明问题的是它赢在哪里。

5、高温，天天见！

机器人在汽车、物流、锂电、3C、家电的真实产线上，每天都在遇到新物体、新光线、新任务： 大规模应用产生真实数据→数据提升模型泛化性→模型降低部署难度→更快进入更多行业。

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

MiniCPM-RobotManip正是这一理念的产物：先打造通用大脑，再适配多元场景。

6、知名手机品牌宣布退出中国市场，网友：我刚买的

更何况，和竞争对比手，价格更贵，效果更差！ 此外 ，谷歌这次还发布了网络安全模型Gemini 3.5 Flash Cyber。

AI编程，以前拼的是提示词技巧，现在拼的是谁会搭系统：谁能设计出一个自己会验证、自己知道该停的循环。

7、世界杯历史积分榜发布！意大利排第四！但已经连续三届无缘世界杯

这是Chloe亲口承认做过最难的一个视频。

这一举动一度让五角大楼对谷歌产生了顾虑。

8、二十四节气

像他们这样的人还有很多——我们缺的只是把它锻造成实物的产能。

一个文件夹、两个markdown文件、一组技能，就是让Fable 5「认识你」的全部配置。

角色面部、复杂苗族银饰、多层蜡染裙甲，在所有视角下保持绝对统一。

9、时髦一夏的5组造型，通勤穿刚好！

解法是在自己机器上搭一套本地上下文系统，只用20分钟就能搭完。

它更像你身边的一位科学导师，能自主拆解复杂需求，智能调用最适配的专业技能与工具，替科研人精准啃下每一个环节的硬骨头。

10、世界首富马斯克：我过于投入特朗普政治，但不会放弃争议性观点

从智驾战场带回来的执念 这种死磕全栈的起点，要追溯到自动驾驶时代。

而OpenAI的首席财务官，已经把这套算法用到了对手身上。

1、皇马公布今夏比赛计划；穆帅在7月底，执教皇马踢第一场友谊赛

他将这种现象命名为「下一代巨模型失望陷阱」。

2、因为一个坏习惯，多少人“失去了下巴”？

拒绝站队，中立与技术铸就「护城河」 为什么行业里目前只有清程极智一家完整落地了Token全链路生态？巨头们为什么做不了？ 答案就在于清程极智独一无二的生态位与技术基因。

3、追踪报道｜报道刊发一天内，黄陂果农滞销鲜果订单不断

而这恰恰是AI越来越多「自己审自己」，一步步走向自我迭代时最脆弱的一环。王楚钦独木难支，林诗栋连续失利难堪大任！国乒人才储备严重断档如果说AI Coding正在重写软件生产链，那AI Video将重写视觉内容的生产、分发和交互方式。

4、粗腿宽肩，正在成为中女审美新风向

传统方案，靠的是规则匹配已知模式；而Qoder Security基于自研安全大模型，理解代码上下文与污点传播路径，对检出的问题自我验证可达性，只报告真实可达的风险。

5、加热仅5分钟，微塑料释放激增125倍？浙大最新：披上“油衣”的微塑料，毒性飙升4倍，损伤肠道，抑制免疫；但外卖换玻璃碗盛放能有效改善

几秒钟后，机器人「听到」了指令，头顶的「眼睛」一扫，灵巧手伸进塞满饮料的货架层里，精准抽出目标瓶子，转身送到前台。

6、15分钟“全身拉筋”瑜伽跟练，简单效果好，40-50岁女性每天练习

而佟博士此前在设计ECS、NSEAP和KSTAR时，关注的已经不是单一的数据保护或模型选择问题，而是企业能否拥有一套独立于底层模型的认知内核。

但用户实际拿到的配置，确实动过：这一点他承认了。

而是从某一天开始，它在真实世界里持续地、稳定地、无人喝彩地创造价值。

7、霸气，特雷·杨在活动上撕毁杰伦·布伦森球衣，以戏弄尼克斯球迷

剩下那约9分钟怎么办？开第二个窗口，第三个，第四个。

（图源：Claude Code官方文档） 所谓自主智能体，本质上就是这么一个圈。

8、美国新关税措施遭质疑 被指“毫无道理”

AI Coding在这里，已经不是一个提效工具，而是长在企业身上的研发基础设施。

用户qrdl在论坛发帖，说CritPT自5.4以来几乎没动，除非他们找到了给基准刷分的办法，否则结果也就这样。

这是用十年时间、27000套部署一个个磨出来的兼容性。

满满一屏，完全把它当成一个一步都不敢撒手的实习生，连每个坑都替它踩好了。