神经符号验证器助 21 天迁移遗留系统，模型成本不足 500 美元

idanbeck · x · 2026-09-16

Zerg 团队披露今年与 DurableAI 合作的案例：用神经符号（neuro-symbolic）生成的验证器，在 21 天的 agent 运行中把 DurableAI 一个关键遗留模块从 JavaScript 完整迁移到 TypeScript + React，模型 token 成本不到 500 美元。里程碑 1 阶段约 30% 的文件同时通过功能与视觉检查，Zerg 工程师负责运行 harness 和分诊。创始人 idanbeck 称这件事比前沿模型达到同等能力早了 6-7 个月，让他们更清楚接下来该构建什么，未来几周将分享更多前沿项目进展。