[控场AI]
基准ETH-2026

ETH

一个用于评测智能体能力的基准测试,具体细节未在文章中展开,SharpLogic的在线演示以其为示例代码。

时间轴 (近 90 天)

10月30日

一篇预印本描述了能在次指数时间内精确计算某类KCNF公式可满足赋值数量的确定性算法,若成立将挑战指数时间假设(ETH)。

待验证50%
10月30日

ETH由Russell Impagliazzo与Ramamohan Paturi提出,猜想3SAT问题无法在次指数时间内求解。

待验证50%
10月15日

苏黎世有八家公司入选 Europe's Robotics 65 榜单,全部与 ETH 有直接渊源,通常是通过 spin-off 形式创立。

待验证50%

全部知识事实 (3)

来源文章