中国大模型首次拿下IMO官方金牌IMO赛场传来喜讯，国产人工智能完成六道难题取得