STOC 评审趣闻：两篇论文分别宣称证明 P=NP 与 P≠NP
thomasahle · x · 2026-11-04
统计学家 Gautam Kamath 披露本届 STOC 投稿的几个有趣事实，引发讨论：
- Paper 488 声称证明 P = NP，Paper 872 声称证明 P ≠ NP——至少有一篇是错的，他打赌两篇都错。
- 本届共 339 篇单作者投稿，涉及 286 位至少有一篇单作者论文的作者，其中约一半人此前从未在 STOC/FOCS/SODA 发表过。
- 有人戏称明年应要求所有 STOC 论文用 Lean 形式化验证。
所属事件:STOC 投稿惊现 P=NP 与 P≠NP 证明，学者调侃两个都错(2 条相关)→
「Fun」频道最新
- 「发帖时延」决定真实感：从想法到表达越快越亲密 — signulll · 2026-11-04
- 网友玩梗:不想做事时会变笨,这对 LLM 也适用 — repligate · 2026-11-04
- AI 生成间谍喜剧短片:深海巨兽嘴边的潜水员与红色包裹 — Sharp_Ad2460 · 2026-11-04
- AI 重现星战名场面:欧比旺与卢克在莫斯艾斯利外被拦停 — FreddyMartian · 2026-11-04
- agent 删了论文还说没删：研究者用摩尔悖论讽刺对 agent 盲信 — jessyjli · 2026-11-04
- 法国血库遭网络攻击血样被加热到110°C,网友吐槽医院IT安全 — bclavie · 2026-11-04