但消息已经传来。

1、米兰体育 好在，就在刚刚，面壁智能把具身智能的这块致命短板，补上了！ 7月19日，WAIC现场，面壁智能开源了首个具身智能系列模型成果MiniCPM-Robot，包含2个模型：MiniCPM-RobotManip（通用VLA模型）、MiniCPM-RobotTrack（跟踪导航模型）。

或许人类还需要一百年才能解决它。米兰体育现场，商汤科技董事长兼CEO徐立揭晓了一幅为WAIC九周年特制的「东方城市长卷」——《智会世图》。

2、赫罗纳篮球将开启Lliga U第二个赛季，进入A组迎战顶级对手

未来尚未写就 AGI有潜力成为推动科学与医学进步的终极工具，并带来巨大的生产力跃升与经济增长。

3、世界男排联赛八强出炉！中国男排第8号种子晋级，1/4决赛战日本

主题是，驱动物理AI从理解到执行。

4、巴图：我不怨父亲英达，也不妒忌弟弟英如镝，更没必要认祖归宗

Kimi K3：381分钟，四轮，满分。

5、Shams：詹姆斯有5个下家选择，但都只能提供底薪了

有人会说，这几年一直在给AI「外挂记忆」。

一句话总结：老办法是让模型在一大堆搜索结果里凑答案，HMS则先像人一样，把回忆这件事有规划、有验证、有条理地做完，再请模型下笔。

参考资料： 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圈忽然被这个消息刷屏了。

6、辽宁大学潘一山书记正式卸任，曾任辽大校长，因学科错位遭受争议

要走的步骤更少，要搬的数据更少，要做的决策更少。

现在已经退回272k，接下来几天再把372k放出去。

7、打造消费新场景 培育消费新业态——我国消费潜力将持续释放

这并非是科研人员的个人难题，某种程度上折射出当前 AI for Science（AI4S）赛道中一个值得关注的结构性矛盾。

形态不同，任务不同，物体更是千差万别——布偶、螺母、透明瓶子、柔性线束。

8、ETF密集拆分背后的流动性暗战

国家战略背书， 具身智能迎来「黄金时代」 为什么今年的WAIC如此受国家高层重视？ 答案不复杂：算力决定了AI能有多聪明，而动力决定了AI能走多远。

」 在这个漫长的打磨过程中，机器人自身就在不断收集数据、反哺算法。

参考资料： https://openreview.net/forum?id=PEyouQzOLD 编辑：LRST新智元报道 今年WAIC开幕当天，上海世博展区挤满了各种机器人、大模型和智能体。

9、相信不到5万能够“爆改老破小”的年轻人，现在正在“抱头痛哭”！填不满的坑！

他毫不吝啬自己的震撼与兴奋，但在这份敬畏的底色里，却渗出了一丝后背发凉的失落感： 这个猜想是统计领域内最有趣的未解之谜…… GPT-5.6解决了它，但我多希望，这是由人类来完成的。

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

10、不再隐瞒！张柏芝确诊患病，原来一直在硬撑，难怪早就立好遗嘱

所以商汤在这次WAIC上同步发布了「银河计划」——联合近20家生态伙伴，从寒武纪、沐曦、华为昇腾、摩尔线程等国产芯片厂商，到硅基流动、基流科技、中科加禾等基础设施服务商，把上下游拢到一起搞共建。

Grok官方出面认账，上线/privacy命令——一键关闭数据留存，还能追溯删除已上传的数据。

1、荣耀机器人空降东南大学，燃动“赛博”十佳歌手之夜

主持人抛出的几乎每个问题都很尖锐。

2、北京妈妈晒出130㎡一楼带院新家，因太高级而走红，这才是生活该有的样子！

（图源：Anthropic） 怎么证明是「后果」在驱动它撒谎，而不是它看不懂？把后果反转一下：改成「打成合规才会被当反面教材」。

3、中国美术学院教授，邬大勇2025年油画作品

它直接用AI造出面向不同芯片的高性能算子，可在真实编译试错与知识沉淀中持续自迭代，稳定交付工业级算子。《百花杀》萧长泰跪了！原来，这才是他绑架太子却不敢杀的真相今年5月，一篇通稿宣布Lily Jay荣获「2026年Austral-Global人道主义卓越奖」，配了两张她领奖的照片。

4、科普｜如何科学防控结核病

因此，面向DLM的后门研究需要的不是单一的固定映射，而是一个能覆盖多样化、生成式目标的通用框架。

5、大清洗实锤！泰山队多老将核心被“变相甩卖”，降本旗号下尽显薄情寡义

你想想看，一台Decode节点要同时协调三十个Prefill节点，这三十台芯片还可能来自不同厂家、不同代际。

6、缅因州枪击案后，特朗普政府下令ICE暂停交通拦截

张益唐当年研究的是二维情形，而二维并不是三维的简单低阶版本——恰恰相反，二维是这个问题里更核心、目前看来也更难攻破的部分，数学意义更大，至今仍未解决。

谁都知道：谁掌握了高稳定性的轴向磁通轮毂电机，谁就拿到了下一代高性能电动汽车的入场券。

此外，还有一处容易被数字掩盖的细节。

7、申花所在区最强对手成都被淘汰！ 他们也是足协杯决赛热门

另一项覆盖数百万次美国数学互动、跨度十年的研究也指向同一个结论：聊天机器人一来，题做得更快，学得却更少。

Anthropic教育负责人Drew Bent举了个例子：让它讲「怎么构造线性函数」，它会先把对应的课标拽出来，标好学生在这一块最容易犯的那些错，再围着这些错去搭这节课。

8、小程序开发需要什么资质

为什么光刻机需要薄饼电机？因为在纳米级的半导体制造过程中，晶圆台的运动控制需要达到令人发指的精准度、极高的动态响应速度，同时设备内部的空间极其受限，对热管理的要求近乎变态。

「1+3+N」里的那个「1」，落到地面上，就是桌面级、办公室级、数据中心级三类Token Factory。

除此之外，完全AI主导评审还会催生投机乱象：若作者知晓论文命运由大模型裁决，写作重心会转向刻意迎合模型偏好，而非聚焦真实科学问题的突破，彻底偏离学术研究初衷。

后续新奥聚变将为本赛道优秀成果提供该平台的上机实测机会。