可判定命题可渐近校准，但 ETH 与 P vs NP 仍难下注

xuanalogue 在转发 jessicata 的讨论时补充：可判定命题可以渐近校准，但 ETH 与 P=NP 因本身不一定可判定，仍难以下注。两者可改写为“给定编码下是否存在少于 n 字节的证明”等可判定问题，但判定可能非常耗时，复杂度与 P vs NP 相关。该讨论关联近期 OpenAI、Anthropic 声称反驳 ETH 的工作。