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

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