时间

10月26日，OpenAI宣布在数学、计算机科学和物理学三个领域取得新成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设（ETH），以及为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。

1990年代末，RussellImpagliazzo、RamamohanPaturi和FrancisZane提出了指数时间假设（ExponentialTimeHypothesis，ETH）。

OpenAI公开的指数时间假设（ETH）证伪结果的Lean形式化证明说明。

研究者经常以它为前提，推导图算法、数据库查询和计算生物学等领域的计算时间下界。