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

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

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