陶哲轩论文漏洞竟被AI发现，26年预言要成真！看定理名猜出研究方向，大神直呼AI能力惊人

AIGC动态欢迎阅读

原标题：陶哲轩论文漏洞竟被AI发现，26年预言要成真！看定理名猜出研究方向，大神直呼AI能力惊人

关键字：工具,代码,不等式,论文,表示

文章来源：新智元

内容字数：6598字

内容摘要：新智元报道编辑：Aeneas 好困【新智元导读】疯狂入坑AI工具的数学大神陶哲轩，最近又被Lean4和Copilot震惊了——它们竟然帮他发现了自己论文中的一处错误！2026年AI成为数学论文合著者的预言，已经愈发逼近了。最近，热衷于用GPT-4、Copilot做研究的数学大神陶哲轩，又在AI的帮助下发现了自己论文中的一处隐藏bug！陶哲轩表示，自己在用Lean4形式化第6页论点的过程中发现，表达…

原文链接：点此阅读原文：陶哲轩论文漏洞竟被AI发现，26年预言要成真！看定理名猜出研究方向，大神直呼AI能力惊人

联系作者

文章来源：新智元

作者微信：AI_era

作者简介：智能+中国主平台，致力于推动中国从互联网+迈向智能+新纪元。重点关注人工智能、机器人等前沿领域发展，关注人机融合、人工智能和机器人革命对人类社会与文明进化的影响，领航中国新智能时代。