可判定命题可有渐近校准,ETH 与 P vs NP 仍难下注
xuanalogue · x · 2026-10-28
xuanalogue 在转发 jessicata 的讨论时补充:对可判定命题可以存在渐近校准,但对一般 Pin 命题则不行——因为无法对「能在有限时间内兑付」的数学命题操作化下注。作者指出 ETH 和 P=NP 的问题在于它们本身不一定可判定,不过可以转化为诸如「在给定编码下是否存在少于 n 字节的证明」这类可判定问题(尽管判定可能非常耗时,复杂度与 P vs NP 相关)。该讨论与近期 OpenAI、Anthropic 声称反驳指数时间假设(ETH)的工作相关。
「研究」频道最新
- 提议：给每篇 arXiv 论文找最短复现 prompt,度量真实信息增量 — tak3sh8 · 2026-10-28
- RAX让真机器人探索2小时自学技能，再把技能写成代码复用 — du_yilun · 2026-10-28
- 一个模型如何教另一个模型做决策？三种技术路线拆解 — TheTuringPost · 2026-10-28
- ML 模型预测延寿化合物，线虫实验准确率达 80.36% — Dr_Singularity · 2026-10-28
- 台大团队发布 MQAScore：五维度细粒度评测文生音乐对齐 — affige_yang · 2026-10-28
- OpenTac 触觉传感器将亮相 CoRL 2026,共 17 组机器人演示 — _krishna_murthy · 2026-10-28