观点：若 P≠NP，AI 逆向阅读证明远比人类独立发现证明容易并不奇怪
avt_im · x · 2026-09-06
发帖人引述朋友的观点：如果 P≠NP 成立，那么「逆向解析一个 AI 写出的证明，远比有机地发现一个足够难的定理的证明容易近乎无穷倍」这一现象将成为意料之中的结果。此评论可视为对 Astra 自动证明定理类新闻的理论注脚。
「漫话AGI」频道最新
- 中国严控 AI 进课堂：小学禁独自使用 AIGC，教师禁用 AI 答疑 — vista8 · 2026-09-06
- 观察：大多数人根本看不出视频是 AI 生成的 — oyacaro · 2026-09-06
- 转发麦克卢汉 1969 语录:演化已从生物学转向技术 — round · 2026-09-06
- AI 越强我反而越拼命,这不该是反过来的吗? — jbarbier · 2026-09-06
- Robin Hanson 提问:应对 AI 风险该占长远利他投入几成 — davidmanheim · 2026-09-06
- 博主看淡个人借模型复刻 FAANG 全部能力的未来图景 — StewartalsopIII · 2026-09-06