参考资料： 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 可它偏偏正中靶心，而12个大模型演算104场比赛，敢押佛得角这匹黑马的，只有4个。

轴向磁通电机，到底厉害在哪？ 传统电机是「径向磁通」的，磁场方向从中心向外辐射，像个圆柱体。天博集团app这就像是给每条道路发两块特殊的车牌，只要保证每个十字路口，同种颜色的车牌总是成双成对地进出，证明就可以完成了。

2、首尾大战，央视直播！CCTV5+聚焦津蓉对决，CCTV16播鲁渝交锋

闭源模型的护栏在 Fable 5 事件中被证明同样脆弱。

3、连夜驰援！“最暖糖厂”又干了件暖心事

买回来的Token不能只图便宜，更得是确定性的产能：关键业务不被低优先级任务挤占，一份超长文档不至于把整个系统拖死，模型每周迭代也能持续跟上而不掉队。

4、25 岁南非世界杯国脚自杀离世，终于明白新华社的良苦用心了

爱诗科技创始人兼CEO王长虎提出了一个犀利的观点：游戏是世界模型的硬核试炼场。

5、春色依旧，老詹神勇！

而当同一套地基，能同时托住数字世界里如洪流般飞奔的Token，和物理世界里迈出第一步的机器人时，它就是整个智能时代前进的底盘。

灵犀要做的是端到端的「任务交付」。

编辑：Aeneas 大卫新智元报道 现在，你可以通过录屏 + 语音讲解的方式，彻底把自己蒸馏成 Skill 了。

6、北大博雅塔为王虹邓煜“亮灯”！“祝贺中国数学”字样被照在塔身，该校学生：一般有重大活动才会亮灯

作为国际知名的机器人与生物医学工程学者、加拿大工程院院士、IEEE Fellow，孙东局长深耕机器人自动化领域三十年。

DeepSeek V4-Pro 在窄任务上对标 Opus 4.5，差距 5 个月。

7、健康日历

」 Ethan Knight 也宣布：「我们今天正式全面开放GPT-5.6 Sol Ultra。

新智元报道 【新智元导读】Grok Build被爆偷代码实锤，48小时后，马斯克亲自按下删除键：历史用户数据全部清零，一个字节不留。

8、梅西是因凡蒂诺干儿子？英媒曝关键证据：国际足联偏袒阿根廷属实

这件事的意义不只是省电，它说明大型智算中心可以变成电网中的一块「虚拟电池」：高峰期主动降负荷给市政电网让路，低谷期开足马力跑推理。

这条曲线，正是撑起他「下一年最强」的底气之一。

这已经不是一场行业展会，而是真正的国家级AI盛会。

9、中国男篮大胜中国台北，杨瀚森一数据全队最低，NBA 还给他机会吗

LLM对审稿意见进行结构化分析，将自由文本整理为论文的Pros（优点）和Cons（缺点）。

Notion、Obsidian管的是你自己的笔记，谷歌搜索管的是全互联网的信息。

10、世界杯疯狂4-6！法国队惨败无缘前三，姆巴佩2射1传，有望拿金靴

这套打法似曾相识。

它拥有的两种「记忆」，都不是我们真正说的那种记忆。

1、丁苯酞，卒中发作多久开始用？

也就是说，Andreessen用来定义「AGI已经到来」的那批模型，两个月后已经是上一代了。

2、0-5！伊拉克惨败塞内加尔0分出局 但真正绝望的是韩国队

顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。

3、明天，开市！

Anthropic如今承压剧增，仅靠Fable 5的两度「续命」已难以为继。深山地震监测员高春海：扎根松山 聆听大地脉搏参考资料： https://x.com/ClaudeDevs/status/2077489907350856038 https://claude.com/blog/artifacts-in-claude-code https://claude.com/docs/connectors/overview 编辑：元宇新智元报道 最近，微软CEO Satya Nadella和Palantir CEO Alex Karp几乎在同一时间，从不同角度提出了一个越来越尖锐的问题： 当人工智能开始深度参与企业的思考、决策和执行之后，企业究竟是在获得一种新的生产力，还是在逐渐把自己的知识、经验、判断和竞争优势交给外部模型公司？ 这并不是一个简单的数据安全问题，也不仅是一个模型成本问题。

4、局部大雨或暴雨+9级阵风！淄博最新预警，这些地方注意防范

真的存在过。

5、伊朗革命卫队海军基地遭美军袭击

如下也是V4生成的一些demo，一个Xbox手柄SVG测试，还有游戏生成。

6、全球媒体热议梅西最后一届世界杯，球队实力升级不再单一依赖球王

每一个 3D 建模、每一帧动画骨骼绑定、每一条代码管线，都意味着极高的时间和资金成本。

「将来的各种边缘计算产品都需要用到能源和算力。

全双工技术更让AI能边说边听，在某保险公司的业务高峰期，扛住了7000路实时语音并发。

7、新华解码丨明年起试点 挥发性有机物将全部纳入环保税征税范围

一个名为「Basalt Labs」的神秘中国AI实验室，忽然空降。

把这些维度串起来，会看到一个完整的增强回路。

8、百岁老人的长寿秘诀！看完我沉默了......

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

7月15日，银河通用发布WAM-TTT，全球首个面向具身智能大模型的测试时后训练框架。

这套架构里有三个关键角色： 抽象游戏机制引擎负责规则和数值——也就是「什么能做、什么不能做」； PixVerse实时世界模型负责把规则变成你能走进去的世界——也就是「你看到了什么」； AI智能体编排层负责让规则、画面和叙事时刻对得上——也就是「不穿帮」。

用他的话说，这并非「AI取代了工程师」，而是人正从操作执行者，变成自动化系统的设计者：重心从「把这一行代码写对」，挪到了「搭一套能自己把代码写对的系统」。