| 移动网页

搜索关键词 形式化验证

Crypto

OpenAI称发现或挑战“指数时间假设”算法，因缩写重名引发加密圈热议

OpenAI表示，其AI模型发现了一种可在准指数时间内统计3-SAT满足解数量的确定性算法，可能对计算理论中的“指数时间假设”（ETH）构成挑战。由于ETH与以太坊代币代码相同，消息在加密社区一度引发误解。OpenAI称已借助Lean完成证明形式化验证，并将相关内容开源至GitHub，但学界普遍认为，结论仍需独立复现与进一步验证。