当前位置:当前位置: 首页 >
如何看待陶哲轩等数学家大力推动的 AI 数学证明?
文章出处:网络 人气:发表时间:2025-04-17 04:35:06
这问题下展示了 AI 证明的常见错误用法,那就是直接问 AI,然后 AI 给出一堆伪证,你爱信不信吧。
问点稍微专业些的知识,一问三不知,瞎编第一名, 特别点名 DeepSeek。
不过特仑苏·陶的用法是正确的,那就是使用证明检查器,要求 AI 生成 Lean 代码。
陶在 AI 证明这个方向上还是非常清醒的。
全文可以看这篇 2024 年 12 月的访谈, 比较全面的展示了特仑苏·陶的观点。
Terence Tao AI Interview 我在此节选一部分对话以表明特…。
同类文章排行
- 有没有一些题材新颖的***啊?
- 有没有治愈的小甜文?
- 什么是生理性喜欢?
- 古力娜扎为什么没有像刘亦菲凭借颜值火了?
- 为什么最近黄金涨得这么厉害?
- 有没有男主占有欲很强的***?
- 为什么贾政说袭人这个名字刁钻?
- 如何评价京东外卖?
- √8-√2=√2,这是怎么得出来的?
- 匿名说说你最近有什么烦心事吧?
最新资讯文章
- 为什么游泳馆不分男女?
- 蒙古是不是一个极度畸形的国家?
- 美国的人均GDP已经到了8万美元了为什么老百姓还是觉得生活困难?
- 男朋友以为我喝醉了,对我说出侮辱性词汇,我该怎么办?
- 女人主动起来了会有多主动?
- 为什么有些越南人不认为自己是东南亚人?
- 帅哥的世界是怎么样的?
- 有哪些你无法理解的行为?
- 如果***中的原恶毒女配突然醒悟,会怎样?
- 有没有人真正知道邓超孙俪的关系?
- 当老师久了,真的能一眼就看出一个学生聪不聪明吗?
- 为什么“能拿出30万的人”很少,但30万的车满大街都是?
- 2025 年 4月,中美贸易急剧升压,等中国挺过这次考验,在接下来的复兴道路上还有什么大的阻碍吗?
- 为什么中东女人喜欢东亚男人?
- 俄罗斯经济为何没有崩溃?
- 你认识的***的人,后来怎么样了?
- 中国为什么要全面禁止卧铺大巴车?
- 你经历过最刺激的事是什么?
- 有没有好看的双男主***推荐啊?
- 有哪些邪性荒诞的民间故事?