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

热度排名 #37

数学的未来会是什么样？

The Future of Mathematics?

这场 Microsoft Research 讲座从纯数学的教学与研究出发，讨论计算工具怎样协助书写和检查数学证明。

Microsoft Research · 22 串讨论 · 热度 51.384

在此播放

讨论出处

• Hacker News · 原讨论 ↗2019-12-23 · 帖子分数 643
• Reddit · GECLM · r/programming · 原讨论 ↗2019-10-27 · 评论分数 3
• Hacker News · 原讨论 ↗2019-10-13 · 帖子分数 361
• Hacker News · 原讨论 ↗2021-07-26 · 帖子分数 348
• Hacker News · 原讨论 ↗2020-08-18 · 帖子分数 287
• Hacker News · 原讨论 ↗2019-10-09 · 帖子分数 271
• Hacker News · 原讨论 ↗2021-05-05 · 帖子分数 195
• Hacker News · 原讨论 ↗2021-12-30 · 帖子分数 156
• Hacker News · 原讨论 ↗2020-11-14 · 帖子分数 146
• Hacker News · 原讨论 ↗2025-08-21 · 帖子分数 146
• Hacker News · 原讨论 ↗2022-06-20 · 帖子分数 141
• Hacker News · 原讨论 ↗2019-10-12 · 帖子分数 125
• Hacker News · 原讨论 ↗2019-11-01 · 帖子分数 123
• Hacker News · 原讨论 ↗2019-10-21 · 帖子分数 122
• Hacker News · 原讨论 ↗2019-10-08 · 帖子分数 115
• Hacker News · 原讨论 ↗2020-07-26 · 帖子分数 37
• Hacker News · 原讨论 ↗2021-03-05 · 帖子分数 19
• Reddit · GECLM · r/programming · 原讨论 ↗2020-04-10 · 评论分数 2