Aaronson：AI 会证明定理，不等于 P vs NP 要解决了
fortnow · x · 2026-07-21
Scott Aaronson 提醒大家：AI 证明出新定理，并不意味着 P vs NP 很快就会被解决。他的意思是，定理证明能力的进展，不该被过度解读成对计算机科学最难开放问题之一的突破。
「漫话AGI」频道最新
- Kareem Carr 认为 AI 自动化数学已成定局 — kareem_carr · 2026-07-22
- 数据科学家警告：沉迷调整 AI 工作流正成为新生产力陷阱 — kareem_carr · 2026-07-22
- 生成式AI击碎中小企业安全防线：多语言钓鱼与高管声音克隆 — YvesMulkers · 2026-07-22
- 技术进步主义不仅关乎人类增强，也关乎能源与工业政策 — cccalum · 2026-07-21
- AI 论文或许易生成，但没人参与往往显得空泛 — _akpiper · 2026-07-21
- 企业争抢的不是模型，而是 AI 控制平面 — sanjaykalra · 2026-07-21