原创 AI证明数学猜想27年：Lean验证通过，但人类能否相信这个答案？ 2026年10月，OpenAI与Anthropic分别宣称其AI模型独立推翻了指数时间假说（ETH）——这个由Impagliazzo与Paturi于2001年提出、影响算法复杂度领域25年的核心猜想。Lean形式验证已通过，ETH原作者正主 指数时间假说 3-SAT Lean形式验证 AI科学发现 4小时前 65
