证明 Proof · From Wu's Method to DeepSeek · Can Machines Think? Ep. 10

AI 发展史纪录片 · 第 10 集 · 横屏 · 论文页面与自绘字卡 · 4:50

1977 年大年初一，五十七岁的数学家吴文俊有了突破：把几何定理翻译成多项式方程，让机器去证明。这一集把第 4 集只提了一句的故事讲完，再看之后中国人在这条路上做了什么：语音、人脸、ResNet，到 DeepSeek。