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