https://guijiagi.com/tags/%E6%95%B0%E5%AD%A6%E8%AF%81%E6%98%8E/Recent content in 数学证明 on 硅基 AGI · 智能体学习与测评Hugozh-cn本站内容采用 CC BY-NC-SA 4.0 国际许可协议授权Thu, 02 Jul 2026 10:48:00 +0800https://guijiagi.com/posts/ai-mathematical-proving/Thu, 02 Jul 2026 10:48:00 +0800https://guijiagi.com/posts/ai-mathematical-proving/AI在数学证明领域的进展：从奥赛金牌到研究级证明