Axiom 宣称证明广义拟黎曼猜想，或推导出 VP≠VNP 复杂度结果

basedjensen · x · 2026-10-15

据 Carina Hong 转发，Axiom（AI 数学系统）宣称对全部 Dedekind Zeta 函数证明了广义拟黎曼假设（Quasi Riemann Hypothesis）。

Oliver Korten 指出这一结果若成立具有重要复杂度推论：NP 不属于 P/poly 的布尔复杂度下界即可推出复数域上 Valiant 猜想 VP≠VNP——此前 Burgisser 需在广义黎曼假设（GRH）下才能证明这一点。若声明经同行验证，将是 AI 辅助数学研究的标志性进展。