AI 圈争论:近未来模型或能自创数学工具证明 P/NP 问题
airkatakana · x · 2026-09-12
网友 @airkatakana 与 @rrwilliams 就 AI 能否攻克 P/NP 展开讨论。@rrwilliams 认为即便模型很强也不会走到那一步,而 @airkatakana 反驳:即使人类尚缺处理 P/NP 的数学机器,近未来的模型也可能既发展出这套数学工具,又用它完成证明——何况现有模型已达到「纳维-斯托克斯方程」级别的能力。这是一段关于模型能力上限的简短观点交锋。
「漫话AGI」频道最新
- 观点：world models 是下一代 AI agent 跃迁关键,但可能没有画面 — furongh · 2026-09-12
- 把「AI 2027」与「无根本突破则灾难是默认结局」合写会怎样 — JacquesThibs · 2026-09-12
- All-in 单集激辩：AI 末日论是警钟还是「末日心理战」？ — markjeffrey · 2026-09-12
- 量化费米悖论:只需 62 个数量级就能推出大过滤器 — kellerjordan0 · 2026-09-12
- 「人类节奏机器」提案：让人类与 AI 同速变聪明 — viemccoy · 2026-09-12
- e/acc创始人玩梗：我们需要的暂停，是实验室别再招末日论者 — beffjezos · 2026-09-12