OpenAI 新结果证明 2005 年编辑距离嵌入下界最优,研究者借 AI 精简证明

thegautamkamath · x · 2026-10-08

OpenAI 公布的成果之一，是对 2005 年一个经典嵌入结果的下界证明：将编辑距离嵌入 l1 的方案（最优失真为 exp(sqrt(log n log log n))）确已最优。数学家 Ilya Razenshteyn 借此机会重新理解这个繁琐的原始证明，并用 Google Astra 反复调试提示，成功生成出一个更清晰的证明版本——仅 2.5 页，其中 1.5 页是完全标准的内容。这也展示了用 AI 辅助理解与重构复杂数学证明的可行路径。