Dana Moshkovitz 报告独特游戏猜想的证明：全新纠错码构造
aran_nayebi · x · 2026-10-31
Boaz Barak 转发 Dana Moshkovitz 关于 Unique Games Conjecture（UGC）证明的报告。据 Scott Aaronson 博客评论转述，该证明的核心是一个「完全陌生」的新型纠错码——不同于任何人类 PCP 专家提出过的构造——再加上大量标准、成熟的技术，把该码提升为 PCP，从而得到 UGC 的证明；其中后者较「无聊」的部分占据了大部分验证时间。
UGC 是理论计算机科学最重要的公开难题之一，若证明成立将是重大突破。
「研究」频道最新
- 新论文提出 Piggyback 假说:窄域微调致错对齐源于聊天模板 token 传播 — davidbau · 2026-10-31
- FPV-SLAM 发布：登顶 ETH Zurich 城市级 LaMAria 单目-惯性榜单 — ravithejads · 2026-10-31
- FDSML 论文被 WACV 2027 接收：分形参数做度量学习，Stanford Cars 检索提升 22.2pt — HirokatuKataoka · 2026-10-31
- OpenAI早期可解释性研究者:现代工具下大模型多数神经元已可读 — CatAstro_Piyush · 2026-10-31
- FDIF 用数学公式合成 3D 数据预训练，医疗分割免真实影像达 81.89% — HirokatuKataoka · 2026-10-31
- 「Image-Space Rule Discovery」论文获 ACCV 2026 接收 — HirokatuKataoka · 2026-10-31