AI写470万行代码验证庞加莱猜想，数学证明首次被机器完整实现 一个四人团队在丘成桐弟子Ben Chow带领下，使用证明助手Lean将庞加莱猜想的完整证明转化为470万行代码，其中270万行由ChatGPT、Claude等A... 2026年09月28日 人工智能 #丘成桐弟子 #庞加莱猜想 分享海报
