部分验证75% 置信事实精确时间

ETH至今未被证明或证伪，但已成为参数化复杂性、精确算法设计等领域的基石假设。

3

来源数

75%

置信度

长期有效

时效性

2026/10/26

首次发现

来源

OpenAI与学术社区共探数学物理难题

涉及实体

指数时间假设concept

相关事实

待验证ETH的核心断言是：3-SAT问题不存在在亚指数时间内求解的算法，具体形式为2^Ω(n)。69% 相似待验证证伪ETH的途径主要有两种：一是构造出具体的亚指数算法；二是通过某种非构造性论证证明此类算法必然存在。68% 相似待验证IMO题目无法通过记忆训练数据或统计模式直接解答，必须构造严格的逻辑证明链，被认为是检验AI真正理解数学结构的更可靠标准67% 相似待验证AI行业尚未就什么样的证据足以证明一个前沿模型是安全的形成统一标准66% 相似待验证AI生成的证明或推导是否可靠、如何验证由模型给出的数学论证，这些问题在学术界尚未形成共识。66% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1101256

API

curl https://kongchang.com/api/v1/knowledge/claims/1101256

MCP

get_claim(id=1101256)