吴文俊的几何机器证明

跟现在的ChatGPT有什么关系。算是人工智能吗？现在进展如何了？

高中还有他的选修课？《吴文俊与平面几何的机械化证明》吴文俊原本是搞拓扑的。60岁才开始学编程。他认为，没有定理的中国古代数学,就是一部算法大全。九章算术数学思想必将凌驾于几何原本！