问题背景
把一场博弈重复一万次，赢面还剩多少？
并行重复定理（parallel repetition theorem）研究的是：如果把一场双人博弈独立地重复 n 次，并让对手在 n 轮之间共享信息、尝试联动作弊，那么双方同时赢下所有轮次的概率会以多快衰减？
Raz 于 1998 年在经典情形证明了指数级衰减。但一旦允许双方共享量子纠缠，衰减行为长期不清楚——量子纠缠给了作弊者新的策略空间，经典证明完全失效。
核心突破
把指数衰减带到量子世界
Astra 证明了适用于一般双人量子博弈的指数级并行重复定理：即使玩家共享纠缠，同时赢下所有轮次的概率仍然指数级衰减。
该结果不仅填补了量子信息理论的空白，也为量子密码协议（如位置验证、熵放大）的安全性论证提供了基础定理。
- 适用于一般双人量子博弈（含纠缠策略）
- 指数级衰减速率，平行于经典 Raz 定理
- 为量子密码与随机性放大提供安全基础
意义与影响
量子博弈论的一块地基
量子并行重复定理是量子密码学与量子交互式证明（QIP）系统的基石。没有它，许多协议的安全性分析只能停留在启发式层面。
这一突破与经典复杂性理论呼应：它说明纠缠虽然增强了策略，却没有破坏并行重复的“衰减魔法”。
验证与复现
定理以 Lean 4 形式化
本定理的证明已整理进 249 页论文并转为 Lean 4 形式化证明，主要定理 sorry_count 为 0，可在本地重跑复核。
参考资料
深入阅读
本页内容主要整理自以下公开资料。成果仍需数学共同体长期审查，欢迎据此追踪原始文献与 Lean 证明文件。
- OpenAI 官方发布OpenAI 于 2026-08-01 公布 Astra 十项数学与理论计算机科学进展。
- OpenAI Next-Gen AI Solves 10 Fields Medal-Level Mathematical Problems36Kr 英文报道，梳理十项成果与学界评价。
本课题来自 OpenAI Astra 于 2026-08-01 公布的十项数学与理论计算机科学突破，编号 №06。想参与验证或深入研究，可加入 NiuMaAgent 社区 Fork 对应研究仓库。
加入 牛马智能体，开启你的开源科研之路
NiuMaAgent 以 Apache License 2.0 开源协议发布。欢迎 Fork、提交 Issue， 与全球科研人员共建 AI4Science 生态。