OpenAI 宣布 AI 推翻计算机科学30年假设引发学界震动

OpenAI 宣布其 AI 模型推翻了计算机科学中近30年的指数时间假设（ETH），并称已用 Lean 软件验证该结果。多位学者表示震惊，认为若属实将颠覆算法与复杂性理论，但需独立验证。该发现还涉及数学与理论物理领域，包括波的聚焦猜想和量子场论的数学合理性。学界对 AI 快速突破数学难题及成果发布方式表示担忧，同时认可其开创性。