**Bosun 发布 RepoMod-Bench：带形式化证明的 AI 代码迁移实现 93% 通过率**

_93% on RepoMod-Bench: porting 200K-line codebases with a proof in the loop_

> Bosun 推出的 Parity 工作流在 RepoMod-Bench 基准测试中表现卓越，成功将 21 个开源项目（代码量从 14 行至 21.1 万行）迁移至新语言，并通过隐藏测试的准确率达到 93%。该工作流引入了“带证明的循环”机制，利用形式化证明来验证 AI 代理生成的代码是否保留原程序行为，从而解决了传统 AI 代理在代码迁移中仅关注测试用例而忽略深层行为差异的缺陷。相比论文中基于旧模型的基准（48%），Parity 工作流在相同新模型下提升了 45 个百分点，且能生成详细的差异报告辅助人工合并。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-11-12 19:50（北京时间）
- **原文**：[打开原文](https://blog.bosun.ai/repomod-bench-parity)