OpenAI 声称其 AI 推翻了指数时间假设

OpenAI 宣称其模型发现算法可推翻指数时间假设，但根据常数假设，实际效率优势仅在数百万变量规模后才显现。该结果通过 Lean 形式化验证，确认了在特定复杂度边界下优于现有 3-SAT 算法，但目前仍无法直接转化为实用求解器的性能提升。