学者自述暗中相信 P=NP:一个「丑陋 17 方格」式证明
prof_g · x · 2026-10-27
profg 分享了一个私下观点:他暗中相信 P=NP,但证明形式会是一个「丑陋的、17 个方格的怪物」,不会对实践带来太大改变。
他据此推论:我们可能仍处于绘制复杂性版图的早期阶段,还有大量工作要做。属于计算复杂性理论的有态度的猜想帖,无严格论证。
「研究」频道最新
- Claude 自主发现 2^o(n) 时间 3-SAT 算法，动摇指数时间假说 — rickasaurus · 2026-10-27
- 压缩即理解:Schmidhuber 论文用压缩进度解释好奇心与美感 — blaizedsouza · 2026-10-27
- DeepMind 发布 AudioFM:12 项音频任务 10 项最佳,医学听诊超先前 SSL — iScienceLuvr · 2026-10-27
- 学者断言分子模拟进展惊人：数年内可高精度模拟大部分化学与生物 — TimothyDuignan · 2026-10-27
- 有人给可导向神经元建了个「Hugging Face」，已收录 300+ 条 — According_Air_3815 · 2026-10-27
- Yandex 团队提出表示空间 MMD，为扩散语言模型补评估方法 — LucaAmb · 2026-10-27