标签： DeepSeek

“软件匠派”代表人物罗伯特·马丁（Uncle Bob）公开承认，自己此前对 AI 编程助手“完全信任”的态度行不通，AI 代码生成在实际工程中仍无法脱离人工审查与约束。

华为自研人形机器人“闪电”在第二届世界人形机器人运动会上以39.45秒跑完400米，刷新人类世界纪录，并获得马斯克点赞。这表明人形机器人在运动控制与硬件工程上已跨越关键性能门槛。

联想与海尔签署战略合作，将 AI PC、数据中心算力与海尔智能家居和工业互联网平台对接，尝试把“设备 + 算力 + 服务”打包成一体化体验。这是传统硬件厂商与家电巨头在 AI 落地场景上的一次直接握手。

第二届世界人形机器人运动会于8月22日在北京冰丝带开幕，2056台机器人参赛，其中“天工Ultra”已在百米、400米和跳高项目中刷新人类世界纪录。这标志着人形机器人从“能走能跑”进入“自主决策、全 autonomous 竞技”的新阶段。

OpenBMB 团队开源了数学自动形式化框架 MathForm 及配套的 8B 参数模型，用不到四分之一的大模型参数量，在定理证明一致性检测上超过了 32B 级别的同类模型。这项技术有可能改变 AI 在数学、科学推理和高可靠性代码生成领域的落地方式。