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