**AI证伪百年数学猜想遭打假，Lean证明现漏洞**

_AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了_

> OpenAI最新推理模型声称证伪百年数学猜想，但经Lean形式化验证后发现证明存在漏洞，遭哥大教授指出问题。

**来源信息**
- **来源**：新智元：资讯（API）
- **分类**：ai-models
- **发布时间**：2026-08-04 08:01（北京时间）
- **原文**：[打开原文](https://aiera.com.cn/2026/08/04/other/admin/107168/ai%e8%af%81%e4%bc%aa%e7%99%be%e5%b9%b4%e6%95%b0%e5%ad%a6%e7%8c%9c%e6%83%b3%e8%a2%ab%e6%89%93%e5%81%87%ef%bc%81lean%e8%af%81%e6%98%8e%e6%83%8a%e7%8e%b0%e6%bc%8f%e6%b4%9e%ef%bc%8c%e5%93%a5%e5%a4%a7)