规则

2026年10月26日，OpenAI 宣布，其 AI 系统“证明了 ETH 是错误的，这一结果随后在 Lean 中得到了验证”。（参见：https://openai.com/index/building-scientific-understanding-with-academic-communities/） 如果在指定日期和时间 23:59 ET 之前，通过下列至少一种符合条件的确认方式确认了对 Exponential Time Hypothesis 的反证，则该市场将结算为“是”。否则，本市场将以“否”结算。 “Exponential Time Hypothesis”指 Russell Impagliazzo 和 Ramamohan Paturi 提出的猜想，即 3-SAT 问题无法在亚指数时间内求解。“反证”指任何证明 Exponential Time Hypothesis 为假的数学证明，包括 OpenAI 题为“The Exponential Time Hypothesis is False”的论文（https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf）中提出的证明，以及该证明的任何更正、修订或扩展版本，无论由 OpenAI 还是其他人提出。仅能确立较弱结果的确认不符合条件，例如只能证明某种更快的算法存在、但并未推翻 Exponential Time Hypothesis，或只能证明 OpenAI 的 Lean 代码可以编译的确认。 符合条件的确认方式如下： (i) 经同行评审的发表：提出反证的论文，无论由 OpenAI 还是其他研究人员撰写，已在知名的经同行评审的科学期刊或经同行评审的会议（例如 STOC、FOCS、SODA）上发表，或已被其接受发表。预印本及其他尚未完成同行评审的出版物不符合条件。尚未完成同行评审的预印本及其他出版物均不符合条件。 (ii) 独立验证：由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的审查小组、这三位研究人员中的任何一位，或其他可信且与 OpenAI 无关联的研究人员或研究小组，公开确认反证是正确的。确认必须毫无保留地声明反证正确或 Exponential Time Hypothesis 为假（例如，声明该证明已经过检查并被认定为正确）。确认必须由负责验证的研究人员、研究小组或其成员发布，包括通过论文、预印本、网站、博客或官方社交媒体账号发布；仅由 OpenAI 转述的确认不符合条件。确认可以基于对书面证明、Lean 形式化证明或两者的审查；若确认基于 Lean 形式化证明，则只有在其声明形式化结果证明 Exponential Time Hypothesis 为假时，才符合条件。表示审查仍在进行、目前尚未发现错误，或反证似乎很可能正确的声明，均不符合条件。 在指定日期之后发布或公开的确认不予考虑，即使相关审查是在该日期之前进行的。 OpenAI 的员工、承包商和投资者均视为与 OpenAI 有关联。由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领导的审查小组及其成员，不视为与 OpenAI 有关联。审查小组声明其参与不应被视为对该主张的认证，这不会妨碍该小组或其成员之后作出的符合条件的确认被计入结算。OpenAI 或其关联方的声明、社交媒体帖子或新闻稿，仅转述这些主张的媒体报道，以及 OpenAI 发布的 Lean 形式化证明，均不能单独作为符合条件的确认。 本市场的结算依据将是可信来源与相关科学专家形成的共识，用以核实符合条件的确认是否可信。

机器翻译。如有争议，以原文为准。