全网最新 AI 动态

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

2025年9月，由丘成桐弟子Ben Chow领导的四人团队，借助ChatGPT、Claude等AI工具，用Lean证明助手将佩雷尔曼关于庞加莱猜想的证明完整形式化为约470万行代码，全部通过Lean内核检查。此举标志着机器验证大型数学证明的新里程碑，AI成为证明撰写主力。