https://guijiagi.com/tags/%E5%BD%A2%E5%BC%8F%E6%8E%A8%E7%90%86/Recent content in 形式推理 on 硅基 AGI · 智能体学习与测评Hugozh-cn本站内容采用 CC BY-NC-SA 4.0 国际许可协议授权Sun, 12 Jul 2026 23:50:00 +0800https://guijiagi.com/posts/article-42/Sun, 12 Jul 2026 23:50:00 +0800https://guijiagi.com/posts/article-42/从形式系统到直觉洞察，探讨AI在数学理解中的能力边界与哲学困境https://guijiagi.com/posts/b2-1613d978/Sun, 12 Jul 2026 23:50:00 +0800https://guijiagi.com/posts/b2-1613d978/从形式系统到直觉洞察，探讨AI在数学理解中的能力边界与哲学困境