OpenAI 与 Anthropic 宣称推翻沿用 27 年的指数时间假设

OpenAI 与 Anthropic 本周分别宣称推翻了指数时间假设（ETH），认为部分问题的求解成本并非随规模指数增长。两家机构已在 GitHub 发布自然语言版本和可机器验证的 Lean 格式证明，但相关论证尚无独立验证。