标签:数学竞赛AI突破