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

新智元报道就在刚刚，数学界又有大消息了。 9 月，AI 成功形式化验证「庞加莱猜想」已经震撼了数学界。刚刚，由 Ayush Khaitan 带领的顶尖学术团队，联合NVIDIA Humanfia 团队，成功完成了Thurston 几何化猜想的完整 Lean 形式化！哈密尔顿-佩雷尔曼那份「世纪