标签: AI辅助数学研究