你认为中国是否已是数学强国有意思的问题……要么是数学强国，要么是人工智能强国……