小宇宙
小宇宙1:18:47跑掉四五千万人民币等值Token之后，两位英伟达工程师重新理解了 Agent
《涌现Lab》对话英伟达工程师朱力耕、刘思皓：从 Humanize、KDA 写算子到 Lean 证明，累计消耗约四五千万人民币等值 Token。反直觉经验包括照搬公司角色分工可能只是「过家家」、今日 Harness 可能被下一代模型拆掉，以及用 Token 换更多 Token 的 RSI「阿拉丁神灯」循环。适合做 Agent 工程的人。
涌现Lab / 朱力耕、刘思皓·发布于 4周前
共 4 条
小宇宙1:18:47《涌现Lab》对话英伟达工程师朱力耕、刘思皓：从 Humanize、KDA 写算子到 Lean 证明，累计消耗约四五千万人民币等值 Token。反直觉经验包括照搬公司角色分工可能只是「过家家」、今日 Harness 可能被下一代模型拆掉，以及用 Token 换更多 Token 的 RSI「阿拉丁神灯」循环。适合做 Agent 工程的人。
涌现Lab / 朱力耕、刘思皓·发布于 4周前
声湃59:2942章经对话 Evolvent AI 联创孟繁青（曾在 Kimi 做 Agent/RL Infra）。他把 RSI 说成「更聪明的 DFS」，并断言不存在 RSI 基模——能力在预训练就被内化。节目还拆开合成数据行情、蒸馏是否真是国模追赶的决定性因素，以及国内反而可能在预训练架构创新上更有特色的非共识判断。
