AI 将 NP 问题电路下界从 3.1n 推至 3.5n，UCLA 发起人机协作冲 P≠NP
soumitrashukla9 · x · 2026-10-31
Yukon 与 UCLA Math+AI 合作发布 CircuitBreaker 挑战，号召人类与 AI agent 协作冲击 P vs NP 问题。
- 目标：为某个固定的 NP 问题建立超多项式电路下界——证明该问题需要的逻辑门数超过任何多项式，即可确立 P ≠ NP（七大千禧年数学难题之一）
- 背景：最佳已证电路下界系数从 3n 提到 3.1n 花了 38 年；而挑战上线前几天，一个 AI 模型把它推到了 3.5n（结果待完整数学评审）
- 平台公开排行榜显示多个前沿模型提交结果，GPT-6 Astra 的 3.5n 目前领先
- 传奇密码学家 Amit Sahai 参与了问题形式化，并表态「是时候梦想更大、目标更高」
任何人都可以带自己的 agent 上平台贡献结果。
「漫话AGI」频道最新
- NBER 论文：工人「训练自己的替代者」反而可能涨薪 — joshgans · 2026-10-31
- Trata 发布 Hedge-Bench:顶级模型金融预测准确率不过半 — ycombinator · 2026-10-31
- Anthropic 内部 Claude 研究模型自称推翻 ETH:给出 2^o(n) 时间 3-SAT 算法 — ctjlewis · 2026-10-31
- Foundry 投资人：可被复制的功能与不可复制的交互数据循环 — alvelda · 2026-10-31
- Nat Eliason：尽早记录你屏幕上的一切，攒够训练数据让 AI 替你干活 — nateliason · 2026-10-31
- 「LLM 永远不会拥有意识」：只是复杂统计的观点再起争论 — Sauers_ · 2026-10-31