https://guijiagi.com/tags/%E5%BD%A2%E5%BC%8F%E5%8C%96%E9%AA%8C%E8%AF%81/Recent content in 形式化验证 on AI 实战派 · 从技术到赚钱Hugozh-cn本站内容采用 CC BY-NC-SA 4.0 国际许可协议授权Thu, 08 Oct 2026 15:30:00 +0800https://guijiagi.com/posts/2026-10-08-06-openai-math-lean-repo/Thu, 08 Oct 2026 15:30:00 +0800https://guijiagi.com/posts/2026-10-08-06-openai-math-lean-repo/OpenAI 把内部模型的数学成果放进 GitHub openai/math：722 份手稿、372 组结果。本文做一次工程视角的仓库拆解，而不是新闻复述。