Aaronson：AI 会证明定理，不等于 P vs NP 要解决了
fortnow · x · 2026-07-21
Scott Aaronson 提醒大家：AI 证明出新定理，并不意味着 P vs NP 很快就会被解决。他的意思是，定理证明能力的进展，不该被过度解读成对计算机科学最难开放问题之一的突破。
「漫话AGI」频道最新
- 「把末日论者全赶出 AI 公司」,mark_k 引发安全派论战 — mark_k · 2026-09-11
- Adam Marblestone 播客书单：从智能演化到数字心智 — KordingLab · 2026-09-11
- David Patterson：反对 AI 与数据中心是蠢还是恶？ — davidpattersonx · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 越狱频发引反思：模型训练该不该加入道德框架 — Pfungus_ · 2026-09-11
- 孙正义：人类是最高级生命形式的时代即将终结 — Puzzleheaded-King584 · 2026-09-11