中国大模型首次拿下IMO官方金牌 很多人不理解数学证明的难度，答案正确只是基础，