寻数学之道——吴文俊 科学家相册

　　1977年深冬，中国科学院数学所的孤灯亮至深夜，58岁的他伏案疾书，钢笔沙沙做响，突然呢喃：“这个证明该让机械完成” 。此前研究《九章算术》时，他被古代聪慧震动，从三国赵爽失传、仅留只言片语的“日高图”碎片中，硬是回复复兴出陈旧证明。1975年他提出“数学机械化”理论，却有人质疑“为何不消外国数理逻辑”，他果断回应“外国人不搞的我偏做”。他用国度特批的2 万美元买先辈计较机，千度近视仍学编程。现在，0。1秒就能完成旧时数小时的证明。由中国科学家博物馆推出的系列短视频《科学家相册》，活泼呈现中国科学家的动人故事！