当前位置:当前位置: 首页 >
如何看待陶哲轩等数学家大力推动的 AI 数学证明?
文章出处:网络 人气:发表时间:2025-04-17 05:50:06
这问题下展示了 AI 证明的常见错误用法,那就是直接问 AI,然后 AI 给出一堆伪证,你爱信不信吧。
问点稍微专业些的知识,一问三不知,瞎编第一名, 特别点名 DeepSeek。
不过特仑苏·陶的用法是正确的,那就是使用证明检查器,要求 AI 生成 Lean 代码。
陶在 AI 证明这个方向上还是非常清醒的。
全文可以看这篇 2024 年 12 月的访谈, 比较全面的展示了特仑苏·陶的观点。
Terence Tao AI Interview 我在此节选一部分对话以表明特…。
同类文章排行
- 你越来越沉默的原因是什么?
- 为什么男人会好色,女人难道不好色?
- 女生拒绝复合被前男友泼汽油烧伤致重伤一审判决结果引起争议,法律和社会如何更好地保护受害者?
- 古代女性地位有多低?
- 到底是面相重要还是人品重要?
- 如何看待北理工***中的双方?
- 为什么 doro 在中国互联网语境中成为苦情角色了?
- 你去过谁的家让你震惊?
- 研究表明:低智商的人反应快,智商高的人往往反应更慢。为啥?
- 抑郁症会是什么样的呢?