前沿AI实验室称模型推翻指数时间假说 - AI 圈动态

TechCrunch 报道，前沿 AI 实验室声称其模型推翻了计算复杂性理论中的指数时间假说（Exponential Time Hypothesis），TechCrunch 就此采访了负责解读 OpenAI 这一发现的 MIT 计算机科学家。指数时间假说是计算复杂性理论的基石性假设之一，若该结论成立，将动摇大量算法下界研究的理论前提；但目前该说法仍需学界严格检验，报道未披露模型规模、验证方式等关键细节。

指数时间假说断言一般可满足性问题不存在亚指数时间算法，是众多下界结论的出发点。AI 模型若真能给出反证，意义不在「AI 做数学」本身，而在于它可能产出人类尚未形式化验证的论证。需要强调的是，宣称推翻与学界接受之间隔着严格证明与同行评审，这意味着该结论目前仍属待验证的主张，而非已确立的理论突破。