跑掉四五千万人民币等值Token之后，两位英伟达工程师重新理解了 Agent

《涌现Lab》对话英伟达工程师朱力耕、刘思皓：从 Humanize、KDA 写算子到 Lean 证明，累计消耗约四五千万人民币等值 Token。反直觉经验包括照搬公司角色分工可能只是「过家家」、今日 Harness 可能被下一代模型拆掉，以及用 Token 换更多 Token 的 RSI「阿拉丁神灯」循环。适合做 Agent 工程的人。