https://index.zshipu.com/gpt/tags/Lean/ Recent content in Lean on GPT资讯 -- 知识铺 Hugo -- gohugo.io zh-CN Sun, 13 Sep 2026 00:00:00 +0000 https://index.zshipu.com/gpt/post/20260913/GPT-5.2%E6%94%BB%E5%85%8B45%E5%B9%B4%E6%95%B0%E8%AE%BA%E7%8C%9C%E6%83%B3-%E9%99%B6%E5%93%B2%E8%BD%A9%E4%BA%B2%E8%87%AA%E7%A1%AE%E8%AE%A4/ Sun, 13 Sep 2026 00:00:00 +0000 https://index.zshipu.com/gpt/post/20260913/GPT-5.2%E6%94%BB%E5%85%8B45%E5%B9%B4%E6%95%B0%E8%AE%BA%E7%8C%9C%E6%83%B3-%E9%99%B6%E5%93%B2%E8%BD%A9%E4%BA%B2%E8%87%AA%E7%A1%AE%E8%AE%A4/ GPT-5.2攻克45年数论猜想 陶哲轩亲自确认 2026年1月，GPT-5.2完成一项45年历史的数论猜想证明，这是第一个通过Lean形式化校验的Erdős问题。陶哲轩亲自确认了这一结果。 野狸子在知乎回答中整理了最近半年AI在数学领域的多项动作，以流水账方式呈现这些事件，直接回应O