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

丘成桐弟子Ben Chow带领四人团队，联合AI工具（ChatGPT Astra、Claude Fable等），使用证明助手Lean将庞加莱猜想的完整数学证明形式化为约470万行可验证代码，首次实现该千禧年难题的机器全自动验证，其中佩雷尔曼原始工作仅占六分之一，其余为补全的基础数学与Ricci流理论。