如何看待陶哲轩等数学家大力推动的 AI 数学证明?_光伏熔断器,PV熔断器,光伏保险丝,1000V熔断器,光伏汇流箱专用PV熔断器,直流熔断器

某某工程技术有限公司重点推荐单位25年专注国家重点新产品—蜂窝式电捕焦油器的研发、生产

全国咨询热线

当前位置:当前位置: 首页 >

如何看待陶哲轩等数学家大力推动的 AI 数学证明?

文章出处:网络 人气:发表时间:2025-04-17 05:50:06

这问题下展示了 AI 证明的常见错误用法,那就是直接问 AI,然后 AI 给出一堆伪证,你爱信不信吧。

问点稍微专业些的知识,一问三不知,瞎编第一名, 特别点名 DeepSeek。

不过特仑苏·陶的用法是正确的,那就是使用证明检查器,要求 AI 生成 Lean 代码。

陶在 AI 证明这个方向上还是非常清醒的。

全文可以看这篇 2024 年 12 月的访谈, 比较全面的展示了特仑苏·陶的观点。

Terence Tao AI Interview 我在此节选一部分对话以表明特…。

如何看待陶哲轩等数学家大力推动的 AI 数学证明?