新 闻 → 科教                                             

丘成桐弟子带AI狂写470万行:完证庞加莱
新智元 | 2026-09-28  

声明: 本消息或因风格和篇幅原因进行过编辑,但未经核实,也不代表我们的立场、观点或建议。如有侵权,联系秒删。[ 使用条款 ]
赞助信息

刚刚,千禧年难题庞加莱猜想的完整证明,被整个写成了代码!

干成这件事的,只是一个四人小团队。

点击图片看原样大小图片点
击
图
片
看
原
图

带头的是丘成桐的弟子,一位研究了几十年Ricci流的老教授,冲在最前面的是一个刚毕业的本科生,身后是一群24小时连轴转的AI。

他们用证明助手Lean,把Hamilton和佩雷尔曼的证明从头写到尾,总共约470万行代码。

其中约270万行,是最后两周在ChatGPT、Claude等AI的帮助下赶出来的。

这470万行已经全部通过Lean内核的检查,没有一处用sorry留着「以后再证」。

点击图片看原样大小图片点
击
图
片
看
原
图

过去,一个大证明要让数学界说一句「没毛病」,得靠同行花上好几年逐页审读。

您的观点至关重要

点击朱笔,直抒胸臆

By Google

    © 2026    八阕之地™ by Towards Digital Group关于我们 | 反馈意见 | 业务合作 | 八阕书局 | 隐私政策 | 使用条款  
丘成桐弟子带AI狂写470万行:完证庞加莱