arXiv:2502.14874v1 宣告类型: cross 摘要: 这是一篇关于在人工智能时代数学和符号推理价值的文章。