跳到正文
热点事件持续更新

理论CS界争论ETH被证伪与UGC等结果分量

1 篇报道1 个报道来源3 小时前更新

先了解这件事

AI 综述

10月6日,理论计算机科学领域出现集中发布,随后在圈内引发“是否比ETH被证伪更重磅”的争论。有人认为,若k-SAT可在2^(n/log n)时间内求解,就等于证伪ETH;但verbine等人表示这并不算意外,ETH更多是精细复杂度领域有用的猜想工具。他们反而认为,UGC、PSPACE=IP、NP完全性、零知识证明存在性与FFT等结果分量更重。10月27日,AGI Hunt报道了这场争论。

AI 根据报道生成 · 2 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月27日
  1. AGI Hunt
    理论计算机科学圈争论:10 月 6 日集中发布比 ETH 被证伪更重磅

    理论计算机科学圈争论 10 月 6 日集中发布是否比“ETH 被证伪”更重磅。有人认为 k-SAT 可在 2^(n/logn) 时间内求解即证伪 ETH,但 verbine 等人称这不算意外,ETH 更多是精细复杂度领域的有用猜想工具。他们反而认为 UGC、PSPACE=IP、NP 完全性、零知识证明存在性与 FFT 等结果分量更重。

本事件热度走势

当前热度 9·可比范围峰值 10(10月27日 11:00)·近 24 小时可比范围变化 –

02.557.51010月27日11:0010月27日12:0010月27日12:0010月27日13:00

趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。