分类
动态

吴文俊的几何机器证明

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

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

头像

刘利新

liulixin63@163.com