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

点击“跳转原文网站”，继续查看这篇内容。