https://guijiagi.com/tags/%E6%8E%A8%E7%90%86%E8%BE%B9%E7%95%8C/Recent content in 推理边界 on AI 实战派 · 从技术到赚钱Hugozh-cn本站内容采用 CC BY-NC-SA 4.0 国际许可协议授权Thu, 22 Oct 2026 07:12:00 +0800https://guijiagi.com/posts/2026-10-22-02-formal-system-ai-horizon/Thu, 22 Oct 2026 07:12:00 +0800https://guijiagi.com/posts/2026-10-22-02-formal-system-ai-horizon/足够强的形式系统内部，必然存在它既不能证明也不能反驳的命题，这道阴影也罩在AI推理上