**丘成桐弟子团队实现广义庞加莱猜想证明形式化验证**

_丘成桐弟子再立功，广义庞加莱猜想证明首次形式化验证！_

> 由Ayush Khaitan领衔的学术团队联合NVIDIA Human，成功对广义庞加莱猜想的证明进行了首次形式化验证，延续了此前AI验证经典庞加莱猜想的成果，进一步推动了数学证明与AI技术的结合。

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