参考资料： 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、leyuapp 」 等智能体真的起来，他们回头一看，发现自己的硬件「非常适合做智能体」。

ABot-N1在R2R-CE等5项权威基准取得SOTA 让机器人真正走向开放世界，最大的拦路虎就是机器人无法直接使用常规的导航地图。leyuapp依靠这种直觉，它在开放环境自主导航任务中创下92.9%的成功率，做到了城市级的长程自主导航。

2、多地官宣：结婚发钱！

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

3、零跑B01和B10越级上市，四张王牌高配，一次配齐

为什么这么谨慎？因为学生端的AI，早就吵翻了天。

4、小心！这些受女性欢迎的“漂亮”食物，可能增加甲减风险

面壁智能学术合伙人、多模态智能首席科学家姚远 通过极致的视觉压缩技术，面壁将VLA模型从「算力饥饿」中解放出来，让机器人在真实物理世界中以更低的成本「跑起来」。

5、[公开课] 骆仁童老师青海中小企业转型“破局课”：数字化+AI实操，让老板从“听懂”到“动手”

Token Factory要落地 绕不开硬件 AI要落地，终究离不开硬件。

对理论统计学家而言，历史在此刻被粗暴地折叠了。

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

6、世界杯季军战法国vs英格兰前瞻，姆巴佩冲击金靴，德尚告别战

关于发布7款提供手机端侧生成式人工智能服务已备案信息的公告 这是国内手机端侧 AI 领域规模最大的一次集体过审。

配合优化后的训练策略与数据配比，这些结构改进使得整体扩展效率相比 Kimi K2 提升约 2.5 倍，让模型能更高效地将算力转化为智能。

7、全新法系SUV上市，13.18万起很亲民，外观豪华，搭载1.6T+爱信8AT

最关键的是，Sol只卖对手一半的钱，很多活儿达到同样效果、烧的token还砍掉一半，两头一乘，四分之一的价格就能交付。

Grok 4.5在P6上只挤出7053个token，全场垫底。

8、任意球大师，托蒂让主罚权，卡洛斯佩服，与卡西相爱相杀

但是，企业自身的以下资产必须独立于任何具体模型存在： 本体； 业务语义； 技能； 工作流； 企业记忆； 权限体系； 评价函数； 结果数据； 学习信号； 审计记录； 认知资产版本历史。

谁能率先构建出靠「闭环飞轮」自我进化的生态体系，让机器人在物理交互不断升级，谁就真正拿到了具身智能下半场的入场券。

紧接着，她成立了「Lily Jay基金会」，同样一呼百应。

9、广州白云机场，全国第一

他们更在意的问题是：角色是否足够独特，情绪是否成立，以及这个概念最终能不能变成真正好玩的产品。

他做过各种零工，最广为人知的是在赛百味快餐店打工七年。

10、户外路跑营销案例｜打造全链路激活体系，补水品牌iPRO树立健康营销标杆

第一题：手搓《我的世界》，直接可玩 刚才的点球demo只算热身，接下来给V2.5上点强度，现场复刻《我的世界》。

/goal的机制，是你定义结果，它负责迭代。

1、贝尔萨眼中的完美边锋，22岁拒绝米兰，28岁拒罚点球，38岁才退役

特纳的逻辑很简单：只要Jeff Dean拿着这份协议去找谷歌CEO劈柴，说一句「如果你签了这个，我就辞职」，Pichai绝对不敢签。

2、2026中国足球职业联赛新媒体账号代运营服务采购-竞争性谈判公告-2

验收：每个问题给出文件位置加修复方案，交差前自己先对着复核一遍。

3、高血压患者，千万不要这样吃降压药！

选品环节，传统的出海市场调研需要 6 到 7 人的团队花 1 到 3 个月——上网查资料、写初版报告、做问卷（5000 份样本算多的）、分层分析、输出品牌方案和销售策略。勒布朗·詹姆斯谈自己最被低估特质：作为领袖，出勤率未受重视磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。

4、新华鲜报

发现问题后，编程智能体会直接完成修复，下一轮扫描闭环复验，不留安全债务。

5、全新奇瑞版“大狗”上市！置换价8.99万，外观硬朗霸气，搭载1.5T

长期以来，人类科学家保持着一种心照不宣的骄傲：AI 算得再快，也不过是处理大数据的「蓝领」。

6、嘉信理财CEO：多空策略引发增长小高潮，二季度营收超预期增21%

35年后，这篇论文被一页纸超过了。

这和之前那个ChatGPT Search网页搜索，完全两码事。

而就在发布的同一天，谷歌还顺手扔下了一枚更大的雷—— 谷歌DeepMind「史上最激进的一次预训练已经开始」，目标是下一代模型Gemini 4。

7、勇士队格林：詹姆斯若加盟勇士，我变成PJ·塔克，最强底角3分手

部署时间，最快2028年。

真机、实景、试炼，才是具身智能从秀台走向工位的必由之路。

8、盐城市大丰区人大常委会党组成员、副主任钱江接受纪律审查和监察调查

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

但学校仍在用前AGI时代的标准，去量一批已经在AI里长大的新人，现实却是第一代ChatGPT原住民，已经念到毕业了。

更可怕的是它的商业化落地能力。

用触发器指示器区分含触发器的中毒样本与干净样本。