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

（来源：新智元） 新智元报道 刚刚，千禧年难题庞加莱猜想的完整证明，被整个写成了代码！ 干成这件事的，只是一个四人小团队。 带头的是丘成桐的弟子...