数学影像馆

视频目录 / 数学导览与专题

热度排名 #380

凯文·巴扎德：数学将走向哪里？

Kevin Buzzard - Where is Mathematics Going? (September 24, 2025)

从巴扎德的数学研究与形式化工作出发，想一想计算机核查证明之后，人写证明时还需要交代哪些原来默会的步骤。

Simons Foundation · 3 串讨论 · 热度 6.65

打开原视频 ↗浏览数学导览与专题

讨论出处