看到了同学林乐荣的联接，知道了大师吴文俊先生走了，深感痛惜。大师在中国科学上发表的论文，关于几何定理的机械化证明，在当时进大学初，在济南新华书店购买了处理的《中国科学》(0.2元)，觉得很怪。后来学了数理逻辑，哥德尔定理，知道了数学上经常用的形式化方法，才有体会。1982年我的第一项科技成果，足球队员群体控球方法，大学毕业后又把它的行进方法作出来，这就是形式化和机械化的这一类方法。据吴先生自己的回忆，在早期中华民国的中央研究院的数学研究所工作时，拿了自己的论文给陈省身所长看，陈要吴先生不要跟在别人的后面，要有自己的东西，这是后来几何定理的机械化证明，这一由吴先生独自开创的分支，吴先生成为独具特色的大师的一个关键的原因之一。吴文俊先生自己从不懈怠，努力的开创，兴趣广泛。先生对《围棋子力定量判定准则》的向往之情，我在1989年~1995年间已经完成了。题目是《围棋局部和全局的定量判断方法》。比前些年谷歌公司的阿尔法狗用人工智能的方法更好更直接，因为它有更为客观的标准。当然用人工智能和上述方法结合就更好，就是申请了新的专利也对阿尔法狗形成了强制许可。没有见到吴先生本人是我一身的遗憾。我在重庆出差，请李晶同学帮我作个链接，发给纪峰。作为对吴文俊大师的永远的纪念吧。

毕国伟  嘉兴桑香思碧灵体育竞技技术有限公司