arXiv · AI· Sirui Lu, Ruixuan Deng, Yanqiao Zhu, Zhengfeng Ji·· 16 小时前AI 评分58
FormalFlow 系统实现 MIP* = RE 核心定理的长程自动形式化
Long-horizon autoformalization of a core theorem underlying MIP* = RE
AI 导读
研究团队提出协调 AI 证明智能体进行长程形式化的系统 FormalFlow，在 63 天内完成了 MIP* = RE 基础定理（经典低个体度测试的量子可靠性）的 Lean 4 机器验证，生成了 12.6 万余行代码并修正了原始证明中的侧条件错误。
来源：arXiv · AI · arxiv.org