STOC 投稿现 P=NP 与 P≠NP 证明各一篇，学者调侃两个都错
thegautamkamath · x · 2026-11-04
理论计算机科学家 Gautam Kamath 吐槽 STOC 会议投稿趣闻：第 488 号投稿声称证明 P=NP，第 872 号声称证明 P≠NP——"至少有一个是错的（我赌两个都错）"。另有投稿统计：339 篇为独著投稿，286 位作者至少有一篇独著，其中约半数此前从未在 STOC/FOCS/SODA 发表过。他还评选最佳标题为 #1746 号《Canada Retravelled》。折射出理论顶会投稿中民间证明涌现与社区多样化的现象。
「研究」频道最新
- Xudong Sun 获 SIGOPS Dennis M. Ritchie 博士论文奖荣誉提名 — LingmingZhang · 2026-11-04
- 首例人体试验：单碱基基因编辑成功治疗遗传性肝病 — theimposingshadow · 2026-11-04
- 15 岁开发者自研注意力内核：32k 上下文零 OOM，快 11 倍 — vankownlaw · 2026-11-04
- 博士压轴论文：用带提示的降级版 benchmark，以 1/5600 算力预测 GSM8K 成绩（误差 3 分内） — kenziyuliu · 2026-11-04
- Agent 跑 54 次过 35 次，95% 置信区间却宽达 44%–83%，该怎么报？ — cneuralnetwork · 2026-11-04
- 形式化方法创业公司 Genproof 宣称找出 300+ 个隐藏十年的开源 Bug — prasenx · 2026-11-04