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

由 Ayush Khaitan 带领的学术团队联合 NVIDIA 完成广义庞加莱猜想证明的首次形式化验证。此前 9 月 AI 已成功形式化验证庞加莱猜想，此次成果将形式化验证推进到更广的猜想版本。