国产大模型能解高中数学竞赛题！上海AI实验室邀公众试用体验