LLM 为何能创造新事物：组合推理与不对称验证
bindureddy · x · 2026-08-31
LLM 能够通过组合已知算子解决未训练过的问题，本质是利用“不对称验证”：提出方案难，验证容易。
- 组合创新：新问题由已知块构成（如数学引理），模型学会重新排序即可解决“未见”问题。
- 搜索+验证：通过大规模测试时搜索提出方案，用验证器过滤，只保留真值。
- 成功案例：
- AlphaProof 利用 Lean 验证器搜索证明空间，获 IMO 银牌。
- FunSearch 在 cap set 问题上发现全新数学结果。
- AlphaFold 并非查表，而是学会物理规律，泛化至未知蛋白。
- 应用前景：生物学和能源领域同样适用（大搜索空间+廉价模拟验证），有望攻克癌症和能源难题。
「漫话AGI」频道最新
- 补充观点：非人类动物具备心智，归因需依据模式 — xuanalogue · 2026-08-31
- James Douma：拟人化 LLM 会误导读者认知 — jamesdouma · 2026-08-31
- 讨论 AI 行为是否真正具备心智状态归因的依据 — xuanalogue · 2026-08-31
- OpenAI 被 AI 文明派系渗透？观察者解读内部报告 — StewartalsopIII · 2026-08-31
- 学者提议用“心理化”代替“拟人化”描述AI心智 — xuanalogue · 2026-08-31
- Altryne 反问：如果AI生成视频具有潜移默化的教育性呢？ — altryne · 2026-08-31