标签: IMO数学竞赛AI解题