Burkov 谈 P=NP 与 LLM Agent：没有人类就不会有证明

burkov · x · 2026-11-03

Andriy Burkov 就「用 LLM Agent 证明 P=NP」提出只有两种可能：要么人类已发表的研究不足以让 LLM 组合出证明，要么这个问题本身不可证。他断言：除非有人类写出证明，否则永远不会有证明。

原文链接 →

「漫话AGI」频道最新

• 金句引述：世界不再为人眼数字化，而是为模型摄取而格式化 — YogeshMalik · 2026-11-03
• MIT 权重空间编程工作后,研究者抛出三条大胆预测 — Yuchenj_UW · 2026-11-03
• Geoffrey Irving 反驳 Scott Alexander：单边暂停的好版本依然成立 — geoffreyirving · 2026-11-03
• Geoffrey Irving 撰文反驳 Scott Alexander:单边暂停被稻草人化 — geoffreyirving · 2026-11-03
• 「AI 解出人看不懂的数学就无价值」？作者反驳：人脑才是局限 — flowersslop · 2026-11-03
• AI 安全讨论:应对越狱应靠外部防御与法律,而非「打地鼠」式攻防 — repligate · 2026-11-03

更多「漫话AGI」频道 AI 资讯 →