【拓扑流形】AI能搞数学研究吗？谈谈计算机和AI在数学证明中的应用