当前位置:当前位置: 首页 >
如何看待陶哲轩等数学家大力推动的 AI 数学证明?
文章出处:网络 人气:发表时间:2025-04-17 05:50:06
这问题下展示了 AI 证明的常见错误用法,那就是直接问 AI,然后 AI 给出一堆伪证,你爱信不信吧。
问点稍微专业些的知识,一问三不知,瞎编第一名, 特别点名 DeepSeek。
不过特仑苏·陶的用法是正确的,那就是使用证明检查器,要求 AI 生成 Lean 代码。
陶在 AI 证明这个方向上还是非常清醒的。
全文可以看这篇 2024 年 12 月的访谈, 比较全面的展示了特仑苏·陶的观点。
Terence Tao AI Interview 我在此节选一部分对话以表明特…。
同类文章排行
- 裸睡时如果地震了怎么办?
- 为什么***需要天赋极高?
- 有没有甜到爆炸的睡前小短文?
- 你认为谁能夺得 2024-2025 赛季 NBA 总冠***?
- 男教练这个姿势教女童游泳,是否不合理?应该如何维权?
- 各位有没有好看的双男主***?
- 怎样看待美国仇华情绪?
- 如何看待美国财长谈“对华关税”,希望与中方达成一项重大贸易协议,没人希望关税保持下去。这一观点可信吗?
- 为什么公务员拿着几千的工资却看起来很有钱?
- 《生活大爆炸》为什么没有《老友记》经典?