视频目录 / 数学逻辑、集合与证明

热度排名 #867

陶哲轩谈机器辅助证明｜2025 年 2 月演讲

Terence Tao - Machine-Assisted Proofs (February 19, 2025)

围绕数学家怎样使用计算机来做证明。可把搜索、形式化和核验分开听，尤其关注某一步由机器完成时，研究者还需要交代什么。

Simons Foundation · 1 串讨论 · 热度 2.779

在此播放

讨论出处

• Hacker News · 原讨论 ↗2025-03-13 · 帖子分数 300