OpenAI 声称其人工智能已经推翻了 ETH，但并非指以太坊。 这里的 ETH 指的是指数时间假说（Exponential Time Hypothesis），这是计算机科学领域一个存在了几十年的假设。 该假说认为，一些复杂的计算问题，其求解时间会随着问题的规模呈指数级增长。 OpenAI 表示，该假说曾被广泛认为是正确的，并被数百篇研究论文引用。 但 OpenAI 的人工智能开发出了一种算法，其求解这些问题的速度比该假说所允许的更快。 该人工智能于 10 月 16 日发现了这一推翻假说的结果，而用于验证数学证明的程序 Lean 在一天后验证了这一结果。 OpenAI 已在 GitHub 上发布了该验证结果及其 Lean 验证程序。 最初提出该假说的两位科学家 Russell Impagliazzo 和 Ramamohan Paturi 将与麻省理工学院的 Ryan Williams 一起领导一个团队来验证这项工作。 OpenAI 表示，将这一结果转化为更快的实际算法“还需要大量的后续研究”。 该公司还宣布了另外两项人工智能发现。 在数学领域，OpenAI 声称其模型已解决了所有维度的 Kakeya 猜想。 数学家们去年才证明了三维版本。 在物理学领域，OpenAI 声称其人工智能已证明了价值 100 万美元的千禧年数学难题的一部分。 由诺贝尔奖得主大卫·格罗斯领导的研究小组将对这项工作进行研究，该工作尚未公开。 你会相信人工智能在未经人类检验之前所写的证明吗？