https://guijiagi.com/tags/%E8%AE%A4%E7%9F%A5%E5%9F%BA%E5%BB%BA/Recent content in 认知基建 on AI 实战派 · 从技术到赚钱Hugozh-cn本站内容采用 CC BY-NC-SA 4.0 国际许可协议授权Thu, 08 Oct 2026 10:18:00 +0800https://guijiagi.com/posts/2026-10-08-lean-ai-formal-math/Thu, 08 Oct 2026 10:18:00 +0800https://guijiagi.com/posts/2026-10-08-lean-ai-formal-math/OpenAI 把 Lean 证明放上 GitHub，外部数学家组建伴随论文。本文从技术前沿视角看形式化数学生态如何被 AI 重新点燃。