两大巨头同日宣布：世纪猜想指数时间假设（ETH）被证伪

1 小时前

当地时间2026年10月26日，OpenAI宣布在数学、计算机科学和物理学领域取得三项重大突破。数学上，AI证明了适用于所有维度的局部光滑猜想，解决了挂谷猜想与斯坦限制猜想；计算机科学领域，AI推翻了长期被广泛接受的指数时间假设（ETH），预示未来可能找到更快的算法；物理学领域，AI提出了量子色动力学及杨-米尔斯理论的严格数学存在性证明，涉及千禧年大奖难题。相关成果已通过Lean形式化验证，并公开在GitHub，但仍需学界进一步独立确认。