第一道墙 80年数学猜想，被AI推翻了 先说最硬核的这一件。

1、米兰体育 当前已进入灰度测试阶段的微信AI助手「小微」，其核心模型能力由WeLM提供。

虽然今年展馆里依旧充斥着光伏、储能的新产品，但光伏企业挂在嘴边的是一个新故事：卫星轨道、在轨试验、太空光伏。米兰体育Qwen-Image-3.0能不能扛住呢？ 实测一：学术论文公式页 效果如下（用时大约3分20秒）： 排版工整、字迹清晰，不错不错，扛住了。

2、澳大利亚公开赛：国羽夺下双打三金

它和物理世界的医院一样，都需要在真实医疗环境中持续运行、持续反馈、持续优化。

3、静安街超四强诞生！本周末终极一战，来为家门口的球队助威呐喊吧！

这份创业装备包里，到底有什么？ 亚马逊云科技给OPC准备的，不只有一个AI工作助理。

4、00后“吃谷”：赛格火力圈轰出“二次元大楼”

也许下一个被几万人用起来的AI小工具，就出自你手。

5、CBA四支成功球队！上海直冲冠军，两菜鸟挤掉新疆，深圳1年复苏

1900年盛夏的巴黎。

但如果验证结果恰恰相反，LongCat团队会给到容错空间。

这条路线很重要，但企业还有许多实际问题无法解决。

6、鸿蒙智行官宣问界M7交付破45万台 领跑30万级SUV市场

Muninn为轨迹扩散模型加入了一套无需重新训练的缓存机制。

“哈佛学生说，老师是怎么解释我的初衷和目的的，我说那些都是你们教授编出来的，我当时根本不是那么想的。

7、拿了11年童工合同，投资亏损，NBA50大明星之一却成了最大失败者

」 7月22日，马斯克在X上转发OpenAI研究员、Sora核心开发者之一Will DePue的一条帖子时，配上了这句话。

GW级智算时代，能源成为核心竞争变量 当前，AI算力需求指数级爆发，国内智算中心建设加速从百MW级向GW级集群跃迁。

8、最能解决焦虑的小动作，3个字

系统能够理解企业标准，在复杂业务场景中持续输出稳定、可靠、符合要求的结果。

但这引起不少人的好奇：为什么一个1B参数模型，可以击败更大的模型？ FabriVLA选择围绕机器人操作任务重新设计神经网络架构。

《中国企业家》：并购企业之后，数字化变革也随之跟进？ 张小懿：不一样的企业有不一样的策略。

9、追投2700亿、算力规模提升至5GW！Meta加速扩建数据中心

显而易见，PayPal IPO时，马斯克穿得像想被华尔街认可的人；特斯拉IPO时，当时的境况下，他穿得像要挑战华尔街的人；SpaceX IPO时，他已经懒得为华尔街换衣服了。

在高幅度游动实验中，其轨迹误差相比粒子流体基线最高降低约75%。

10、抖音发布“未来导演扶持计划”，三大赛道助力创作者成长

可当动作真正落地到物理世界时，往往还差着第三层grounding—— 机器人必须知道，应该怎样完成这次接触。

需要注意的是，在WAM-TTT整套流程中，WAM的主体权重全程保持冻结，不会随着学习过程更新，所有学习操作都只在前面提及的记忆模块中完成。

1、不满澳工党邀请台代表，中方官员抗议后离场

强行让所有机器人长成同一个样子，未必是最高效的选择。

2、尼康电影镜头要来了？看看都有哪些关键信息

如果把AI芯片比作列车，那么软件栈、超节点和算力网络就是轨道。

3、美媒设想湖人交易：换回东契奇交易中送走的2人，还能送走布朗尼

AI已经彻底改变了人们写作、调研、规划与总结信息的方式，但最重要的时刻，依然发生在现场——发生在会议室里，发生在与客户的对话中，发生在塑造日常生活的每一次社交互动里。1971年，江泽民要求调整援助罗马尼亚模式，周子健大怒：别搞砸了本届WAIC期间，启鸣达人在技术竞技、行业共建、成果输出多维度实现纵深突破，全面开启教育智能化升级新征程。

4、正式官宣！杨瀚森确定出战，男篮世预赛阵容出炉 郭士强力争两连胜

实验主要由更轻量的Step 3.5 Flash完成，没有都选择Claude、GPT等顶尖模型。

5、斗牛士的红色，点亮了纽约的夜

Quantic Foundry的最新数据显示，63%的玩家对游戏使用AI持“非常负面”态度。

6、阿森纳4000万新援措利斯，从诺维奇弃儿到边路杀手

△中国科学院深圳先进技术研究院研究员、森瑞斯生物科技创始人，罗小舟 AI写代码、做数学，很多流程可以在计算机里完成闭环。

无问芯穹这次发布了“智算集群运维智能体系统”，能够端到端地解决实际生产场景中的运维难题，7×24小时全天候值守，让智算集群的运维从“人找问题”转变为“问题找人”，和“问题自己解决”，实现了运维人效提升5倍以上，关键故障处理效率提升6倍。

高二拿下中国数学奥林匹克（CMO）金牌，随后以全国第二名的成绩入选国家队，并在2006年代表中国夺得国际数学奥林匹克（IMO）金牌。

7、从余嘉豪留洋失败，聊聊什么样的中国球员，能适应海外篮球联赛

摄影：梁宵 我们比较过不同店型的调改效果，购物中心店调改后增幅很大，社区店增长一般，所以我们会聚焦在3000~4000平米的购物中心店，通过减少SKU、提升大单品、深耕加工等，来进一步增强顾客黏性。

Self-Harness会结合验证器反馈、Agent行为和失败之间的因果关系，把可复用的失败机制聚起来。

8、广东男篮大将接近加盟山东，上海追逐胡金秋，杨瀚森离开国家队！

网友的抵触情绪集中在：豆包的包月价格，已经与海外的ChatGPT和Claude Code对标，但“干活”能力不及预期。

Qwen-Image-3.0不仅要写对日文，还要知道日本直播电商界面里，主播画面、弹幕、商品卡、折扣、下单按钮通常如何分布，有何特点。

PuduAgent Skills就是将导航移动、抓取操作、人机交互、自动避障、多机器人协同调度等能力，抽象成标准化技能。

机房、硬件、批发分销、零售，分给不同公司干，已经是家常便饭。