郑恩赐

Gemini 4 Carbon 登顶、DeepSeek 融资 1055 亿、智元用「上岗工时」定义机器人价值。3 分钟看完今天 AI 圈 5 件大事，文末附对照表与可运行早报脚本。

AI 写的代码，到底该怎么审？本文给出一份可落地的 6 层检查清单，从语法正确性到安全审计逐层把关，帮你把 AI 生成的代码变成可信的 production 代码。

这个月 AI 改卷「谁真能干活」：谷歌 Genie 4 运行世界，OpenAI 把电脑操作成本打到人力以下，Kimi 万亿参数开源登顶。附对照表与成本公式。

几百条专家轨迹，就能让 agent 能力翻倍？Mercor 用 874 条数据 + 单 epoch 长程 RL，让 GLM 4.6 专业任务 Pass@1 近翻倍。附可跑代码与对照表。

vLLM 不提升模型能力，只降低「多想几遍」的价格：PagedAttention 把 KV Cache 浪费从 60%-80% 压到 4% 以下，同延迟吞吐 2-4 倍。附可跑代码与三个常见误解。

AI 让写代码变廉价，让改代码变贵。同一段会员折扣逻辑写三遍、施加同一变更：改动行 18/8/4，必读行 27/20/9。抽象后改动点反而从 3 涨到 4，为什么？文中代码可复算。

一亿条取前 100 别排序。实测：分块 argpartition + 最小堆 0.43 秒只吃 46 MB，全量排序 0.74 秒吃 382 MB，纯 Python 堆要 10.45 秒。附可跑代码。

全文摘要：取 Top-K 的瓶颈从来不是算法，是数据搬运。我把一亿条数据的外部排序实测跑了遍：阶段一生成 25 个 run 花 1.65 秒、写盘 381 MB，阶段二倒序多路归并只花 0.0001

AI 替代的不是职业，是工序：2023 年实测快 55.8%，2025 年实测慢 19%。四维打分器帮你判断哪个环节能交给 AI，附可运行代码与七行返工对照表。