OpenAI 称其 AI 模型反驳支撑计算机科学近 30 年的指数时间假设

OpenAI 宣布其 AI 模型反驳了支撑计算机科学近 30 年的指数时间假设（ETH），并使用数学证明检查软件 Lean 对结果进行了形式化验证。该假设关涉可满足性问题与 P 与 NP 难题的求解边界，团队已邀请麻省理工学院专家及 ETH 原提出者介入改写与复核，后续将制作人类可读证明并组织专业评审。