科技动态周报

5.OpenAI 模型证伪指数时间假设，Lean 形式化证明公开于 GitHub高爆

【属性】学术动态（高爆：AI 首次推翻支撑计算复杂性二十七年的基石假设）。

【时间】2026-10-26。

【主体】人工智能企业OpenAI。

【地区】美国。

【内容】内部模型于10月16日给出指数时间假设的自然语言反证，次日在Lean中完成形式化，原始数据与证明公开在GitHub仓库；该假设1999年提出后被数百篇论文用作困难性推导基础，反证由因帕利亚佐、帕图里、威廉姆斯领衔独立审查，尚未完成同行评审。

【来源】企业官方博客·OpenAI（原文）；成果仓库·GitHub（原文）；交叉验证：科技日报（原文）。