OpenAI宣布三项AI科学新发现，称已证伪指数时间假说

据OpenAI官方公告，其内部模型在数学、计算机科学和物理学领域取得三项新发现。其中，模型证明被数百篇论文用作计算困难性前提的指数时间假说（ETH）是错误的，结果已通过Lean形式化验证，将由该假说提出者Russell Impagliazzo、Ramamohan Paturi与MIT教授Ryan Williams领衔的小组核验。