完全相信AI代码的Uncle Bob,坦诚这条路还没走通

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

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

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

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

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

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

Keep 发布2026年半年报,自研大模型Keepace.ai已深度嵌入App核心场景,带动ARPU同比增长21.3%,同时开始向B端输出AI能力,标志着运动科技平台的AI商业化进入实质落地阶段。

据 Business Insider 援引消息人士称,AI 开源平台 Hugging Face 正在探索出售,估值可能达到 130 亿美元。若交易落地,这家公司估值将在不到三年内接近翻三倍,成为开源 AI 基础设施领域最受关注的并购标的之一。

斯坦福大学教授、AI 经济学研究权威 Erik Brynjolfsson 公开反驳“AI 将导致大规模失业”的悲观论调,认为技术冲击更可能表现为岗位重构而非就业末日,这对企业 AI 采购和开发者技术选型具有方向性参考价值。

一名开发者把 1983 年的 Unix talk 命令改造成 AI 聊天界面,让用户可以通过古老的终端协议与 LLM 实时对话。这件事本身是个小实验,却展示了 AI 接入方式的另一种可能:不依赖浏览器和现代 App,也能完成流畅的流式交互。

一条在 X(原 Twitter)上获得数千次转发的内容,将 5 个 GitHub 仓库打包成“AI 赚钱方法论”,从自动化工作流到远程岗位合集,试图证明 AI 变现门槛已降至个人可操作层面。它反映的是一种趋势:AI 商业化正从“卖模型”转向“卖流程与信息差”。