在数学界，庞加莱猜想一直是个悬而未决的千禧年难题，直到如今，这一谜题终于被一个小团队通过人工智能的力量完整验证。这个团队由四位成员组成，带头的是丘成桐的弟子，一位在Ricci流领域深耕数十年的老教授，另一位则是一名刚毕业的本科生，此外还有一群24小时不间断工作的AI助力。

他们利用证明助手Lean，将Hamilton和佩雷尔曼的证明从头到尾写成了代码，最终生成了约470万行的代码。其中，270万行是在最后两周依赖于ChatGPT、Claude等AI的帮助下完成的。令人振奋的是，这470万行代码已经全部通过Lean内核的检查，没有留下任何“待证”的空白。

过去，庞加莱猜想的验证需要众多数学家耗费数年时间逐页审读，如今机器的介入显著提升了效率。佩雷尔曼的三篇论文在这一过程中虽然占据了六分之一的份额，但其余的代码则是对论文中未详细说明的基础数学进行的补充，尤其是Ricci流的核心工具。

Ricci流的基本原理类似于热传导，能使空间中的弯曲部分逐渐平滑。佩雷尔曼的证明中，最为复杂的部分依赖于典范邻域定理，涉及到的代码量高达272万行，几乎占据了整个代码库的三分之二。

团队的核心成员Ben Chow教授曾在普林斯顿学习，深知Ricci流的潜力。他与团队中的年轻人们合作，逐步将数学思维与AI技术结合，展现出未来数学研究的新模式。Ziyang Qin作为年轻的力量，在整个过程中贡献了超过7477次提交，显示出新生代数学家的活力与创造力。