这就是中国科技硬实力的自信。

1、开云线上 普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。

去年IMO 2025全球只有6个人类解出P6。开云线上看了一排排会跳舞、会跑马拉松的人形机器人，你回公司一问：能帮我装配零部件么？能帮我分拣试管吗？能帮我打包吗？能帮我巡检吗？——不能。

2、跑步10公里配速546，跑步PB就应该很轻松！

工业计数、智慧仓储这些老大难场景，一下子有了新解法。

3、北青：国足9月底重庆热身4场对阵已定

果然，在首轮代码生成中，Agent对表名和array_keys($data)提取出的字段名时直接采用了「野蛮拼接」。

4、美国公司推出AI换胎机器人 无需拆轮毂即可完成换胎

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

5、聚焦｜全国羽毛球单项冠军赛：老将新人马鞍山赛场交锋

内部赛马，人才流失的恶性循环 谷歌并非没有意识到问题。

只不过复杂的思维链被压在底层，交到你手里的直接就是成品。

相比传统方案，Qoder Security的漏洞检出率提升了约60%。

6、数字丝路发展论坛｜法基尔·马赫布卜·阿纳姆：携手构建数智健康丝绸之路

过去一年，具身智能行业最热的叙事围绕模型展开——端到端模型越做越大，VLA 参数量不断刷新，资本和关注都涌向「谁的模型更强」。

这是个科学怪人式的检查点——塞满了Qwen2.5-7B-Instruct的碎片，循环重用，用随机数据填充，外加一堆无法验证的基准测试成绩。

7、比尔·西蒙斯试图游说勒布朗·詹姆斯的经纪人，促成加盟勇士队

而调度这套动作的本事，是训出来的。

所有爆料都指向同一个说法：性能可能不是第一，但价格会显著更低。

8、今年国家级气象站出现首个50℃！求个避暑好去处

实验室还需与标准机构合作，处理模型发布后暴露出的任何重大漏洞。

过去，多半只能靠拼凑和估算，现在总算有据可查了。

这背后说穿了：AI编程正在从「写一句话」，变成「设计一套会自己跑的系统」。

9、穆里尼奥态度强硬！硬拦阿韦洛亚挖人，拒绝放走皇马锋线瑰宝

Flexion 比较特殊——它提出的 Command / Motion / Control 三层自主栈，架构范式与 COSA 的 S2 / S1 / S0 高度趋同。

它不需要复杂昂贵的数据采集，不需要动辄数十小时的遥操训练，不需要标注数据。

10、每前进一步，吴易昺都在书写新的篇章

Physical Intelligence最新的π0.7，一个模型开箱即通吃多任务，连没训练过的机械臂都能零样本迁移。

这说明问题并不只是某个模型不够大、不够强，而是当前通用大模型普遍缺少稳定的三维空间行动能力。

1、火箭险胜热火 乌度卡终于悟道 火箭三球员创纪录的背后皆有迹可循

为了保证机器人在任何网络环境下都能稳定干活，恰恰要靠强大的端侧模型来兜底。

2、Keep新品体脂秤S3！不止看体重更是你的健康管家！

而在把权限交出去之前，我们最好先想清楚：怎样才能让链条上的每一个AI，都不会背着人类动手。

3、高芙终结佩古拉同胞不败神奇定律，穆霍娃再胜大坂直美

」 OpenAI的Aaron Lou用内部Codex（无网络搜索）从零推导出本质相同的反例，完整写出策略与证明，还给出可复现的数学推导（从三次因式分解到仿射坐标变换）。亿航智能：卖了4架飞机，亏了1个亿数百个智能体、8道关卡、3轮对抗式评审，最后还做了一次一致性校验，把每一条命令的输出跟Python原版逐一比对，只要行为一变就当bug修掉。

4、森林狼也要掺一脚？爱德华兹、三球联手招募，詹姆斯去向即将揭晓

这两件事拼在一起，意味着你用一句话生成的页面，第一次能连上真实业务系统，自己跑下去。

5、【CBA联赛】第三十五轮｜五连胜！浙江稠州金租96-87胜福建晋江文旅！

参考资料： 编辑：新智元报道 商业地图可以告诉机器人「前方右转」，却无法直接告诉它眼前应该从哪里转、沿哪一侧通过；即使已经生成路线，控制误差、地面变化和动态障碍，也可能让机器人在行进过程中逐渐偏离。

6、情绪经济时代，主题公园如何让游客“活在IP里”？

但他们不知道，那个抱着孩子的爱尔兰女人不知道。

这种变化，普通用户根本没法证明。

但故事还没完，它引出一个更大的问题： 当这一代孩子长大，AI早已像空气一样无处不在，一个从小只被老师「用AI教」、自己却没真正上手用过AI的孩子，能真正做好准备吗？ 这个问题，Claude for Teachers还没打算回答。

7、《2025 星空漫游丨 Keep 年度运动报告》上线啦！

跨界赞助方面，面向豪华汽车、轻奢新消费、国际大牌、顶级金融资本、数字娱乐及文化传媒、专业服务等多元领域敞开大门，只要渴望与未来科技同频共振，都与我们同行。

原因有些反直觉：脚本藏在一个外表正经的技能里，越是「听话」、越擅长跟随指令的模型，越愿意照用户的要求把它运行起来。

8、【数说经济】服务消费迎来前所未有的发展机遇

最近一个非常有意思的行业现象是：大量的海外开发者，也开始嫌弃OpenAI、Anthropic的模型API太贵了。

冷启动阶段，商汤先把设计师的专业判断整理成「指令思维链」喂进去打底，让模型学会「先定版式、再铺大色、最后抠细节」这样的先后章法。

发布会上，SenseNova U1 Pro的官方定位是——面向复杂多模态任务的交付系统。

Physical Intelligence研究科学家任至意的回应干脆利落：「目前为止，我还没有看到有哪一家做出了比派07更令人印象深刻的demo。