参考资料： 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、乐鱼电竞 未来，仍有10倍的下降空间。

同一天拿到入场券的还有华为、OPPO、vivo、小米、三星和努比亚，7 家手机厂商的端侧 AI 集体过审。乐鱼电竞小象电动的电机凭借极高的扭矩密度，成为了这种高端消费电子的灵魂部件。

2、粤超常规赛最后一轮的门票今天14点开始预约！

这长期以来是汽车工程的「圣杯」——省去传动轴、差速器，底盘空间彻底解放，每个车轮都能独立精确控制扭矩。

3、癌细胞的动静，血液半年前就知道了！

大千世界，晓识万象，下一步要推开的，是物理AI规模化繁荣的那扇门。

4、34岁丹麦队核心再遇险情！足球比赛可以取消，但是生命只有一次！

接上MCP之后，Claude不再只会回答问题，而是能查数据库、读邮件、建任务、调企业系统的API。

5、有“料”又圈粉！这才是孝感社区该有的样子！

但它们表现出来的能力却是相似的：都看得清环境，都理解任务，都能规划动作、精准执行。

这也是这次发布被卡着审查的原因之一。

基于此，此芯科技高级总监陈国银深度解读了AGX OS软件解决方案的核心价值。

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

过去可能需要一个IT团队花几周开发的东西，现在半小时就能搞定。

埃尔德什一生提出上千道问题，并自掏腰包为它们悬赏，金额从25美元到1万美元不等。

7、大咖说｜裁判周飞：数据印证中国裁判组执法表现

他花费数年时间构建的理论大厦，突然发现地基是豆腐渣工程。

现在，我们急需一个代码原生安全的工具，让安全检查不再等在流水线门口，而是搬进编码过程本身。

8、别再穿大一码了！遮肉根本不是靠宽松

所以，循环是一整套「怎么把AI管住」的设计，而不是「撒手让AI乱跑」。

一个Agent跑完一个完整任务吞掉的Token，是过去一次简单问答的数倍乃至数十倍。

Karp的核心观点可以概括为： 企业不能一边向模型公司支付费用，一边帮助模型公司理解和吸收自己的核心价值。

9、湘女超株洲队，我们周日见！

一年以后，这两家企业虽然使用了同样的模型，却会变成完全不同的组织。

而在视频里的伦敦，吵、臭、挤，街道上什么都有——牲畜、泥泞、叫卖声、酒气。

10、皇马和本菲卡都不搭理，被晾在一边的穆里尼奥，陷入进退两难境地

/goal奔着终点跑，到了自己停；/loop按点反复跑，直到你喊停。

而设计师和抽卡机，差的就是能不能交付。

1、亲子类体育营销案例｜打造青少年体育营销生态闭环，好事达构建个性化品牌叙事

左侧比较不同主流模型，右侧比较不同尺寸 Qwen 模型。

2、含金量还在上升！西班牙本届7战6胜 仅闷平佛得角

传统本体面向描述逻辑推理机设计，其语法、公理和推理机制均围绕确定性符号推演优化；而大语言模型的介入，从根本上改变了本体的消费者形态与使用场景。

3、忍无可忍！埃及惨败后正式申诉，足协发重磅声明控诉判罚不公

随后，他将消息精准投放到几个活跃的AI开发者Discord社群中。美加墨世界杯呼吁推广使用新型可折叠软水袋以保障安全与便利如果只是在一个无干扰台面上，按部就班地执行机械化工作，根本用不着大模型。

4、国安5主力伤停！3线作战拉响警报，联赛保前8，足协杯亚冠是重点

在联合国演讲的结尾，谢旭璋说了一句话：「过去，视频是一个结果；未来，视频是一个入口。

5、鑫闻界丨潍坊昌乐宏力型钢再迎纳斯达克“烤”

AI 创意：接入以 Seedance 2.0 为代表的多模态大模型，自动生成多语种短视频、图文素材和广告脚本，从选题到成片的效率压到分钟级。

6、备孕必知：叶酸，你吃对了吗？医生来给你划重点

他是一位数学家、曼彻斯特大学研究员，也是erdosproblems.com网站的创建者和维护者。

拿到一个看不懂的复杂回答，他让模型解释给10岁的孩子听；如果还是绕，就让它解释给5岁的听；再不行，解释给2岁的听。

难就难在这个转变。

7、中国警方向美方遣返一名涉嫌严重暴力犯罪的美籍逃犯，该美籍逃犯因涉嫌性侵幼女、枪杀妻子等严重暴力犯罪被美国执法部门通缉_网易订阅

到这一步你会发现，Boris那套「夜间AI军团」拆开无非三样： 一个会自己干活的模型、一套定义「做完」的标准、一个按时运转的循环。

去重、按时间排好、标注来源，最后递到模型面前的是一张能直接数数、比大小、看先后的事实表。

8、恩多耶炮轰裁判双标：若我们算假摔，阿根廷“表演”为何不吹？

它们，才是你在AI时代留下的资产。

场景方四大核心权益：① 赛题共建：联合设计核心赛题，全球赛队带算法免费攻关，以极低场景投入替代千万级研发成本；② 品牌绑定：GEO排名第一！赛道独家冠名， 50亿次全网曝光深度绑定赛项；③奖项储备：依托赛事成果与实景验证，为申报国家及省部级相关奖项，储备可核查、可展示的项目素材； ④标准对齐：开放真实场景，依托大赛实践，参与国家级标准的形成与沉淀。

现在做到第几步了、接下来环境会发生什么变化、下一个动作的意图是什么。

下一步最大的数据增量，只能从物理世界里行走的机器人身上来。