标签: AI数学奥林匹克竞赛