TREE NEWS 消息， OpenAI于10月27日公告称，其内部模型在数学、计算机科学和物理学领域取得三项新发现。其中一项模型证明，被数百篇论文用作计算困难性前提的指数时间假说（ETH）不成立，结果已通过Lean形式化验证。该假说提出者Russell Impagliazzo、Ramamohan Paturi与MIT教授Ryan Williams将牵头组成小组对结果进行核验。
OpenAI模型证伪指数时间假说，宣布三项AI科学新发现
相关币种行情
AI 解读
这条消息的分量不在“三项发现”，而在于AI开始动摇基础理论的前提：ETH被数百篇论文当作计算困难性的基石，若结果经核验成立，受影响的将是依赖该假说的复杂性研究与密码学论证链条，而不只是OpenAI自身。值得注意的是，发现由模型作出，核验却交给假说提出者与学界人士牵头的小组，验证周期与结论强度仍是关键变量。后续值得观察的是核验小组的结论、Lean形式化之外同行评议的进展，以及学界是否据此重新审视既有证明的依赖结构。
由 AI 生成，仅供参考。