**北大团队官宣：庞加莱猜想被完整形式化！首个双检验版本来了**

> <p\>刚刚，北京大学AI for Math团队宣布：他们独立完成了千禧年大奖难题之一——庞加莱猜想在Lean 4中的完整形式化！</p\>

**来源信息**
- **来源**：新智元：资讯（API）
- **分类**：tip
- **发布时间**：2026-09-30 08:08（北京时间）
- **原文**：[打开原文](https://aiera.com.cn/asi-post.html?id=116309)