# 丘成桐弟子用AI写了470万行代码，机器首次完整验证庞加莱猜想证明

> 原标题：丘成桐弟子带AI狂写470万行，庞加莱猜想证明首次被机器完整验证！

- 来源：新智元 · 公众号
- 发布时间：2026-09-28T04:16:00.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/59651
- 原文：https://mp.weixin.qq.com/s?__biz=MzI3MTA0MTk1MA==&mid=2652730110&idx=1&sn=502f9d56c451c709a4ac7d90542b7cbd

## 摘要

丘成桐的一个学生带队，用AI生成了470万行代码，第一次让机器完整验证了庞加莱猜想的证明。470万行这个数字说明工作量巨大，但正文没披露用了什么模型、具体方法、验证花了多久——因为页面环境异常，只拿到了标题和摘要。如果验证真的跑通了，意味着AI能处理顶级数学问题的完整逻辑链，不只是算算数。这点先别太激动，等更多细节出来再判断。