可判定命题可渐近校准，ETH与P vs NP仍难判定
热点事件持续更新
可判定命题可渐近校准，ETH与P vs NP仍难判定
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
xuanalogue在转发jessicata的讨论时称，可判定命题可以渐近校准，但ETH与P=NP本身不一定可判定，因而难以直接下注。两者可改写为“给定编码下是否存在少于n字节的证明”等可判定问题，不过判定可能非常耗时，其复杂度也与P vs NP相关；该讨论关联OpenAI、Anthropic声称反驳ETH的近期工作。
AI 根据报道生成 · 3 小时前更新
最新进展10月28日 08:22
可判定命题可渐近校准，但 ETH 与 P vs NP 仍难下注报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- AGI Hunt可判定命题可渐近校准，但 ETH 与 P vs NP 仍难下注
xuanalogue 在转发 jessicata 的讨论时补充：可判定命题可以渐近校准，但 ETH 与 P=NP 因本身不一定可判定，仍难以下注。两者可改写为“给定编码下是否存在少于 n 字节的证明”等可判定问题，但判定可能非常耗时，复杂度与 P vs NP 相关。该讨论关联近期 OpenAI、Anthropic 声称反驳 ETH 的工作。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月28日 09:00
- 近 24 小时变化
- –
02.557.510
09:0010:0011:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。