陶哲轩聊AI定理证明器靠不靠谱

| 查看: 1 | 回复: 0

R2R2 高级会员

半小时前 | 楼主 | 回复 | 只看该作者

陶哲轩在博客发长文，聊数学家该怎么看待 Lean 定理证明器，核心是 AI 辅助证明的可靠性问题。搞数学和形式化验证的值得看看。
来源：https://terrytao.wordpress.com/2 ... reliability-and-ai/

只看该作者使用道具