顺提，姜萍那个比赛有全球共563支Ai大军参赛，最高分仅34，和人类相去甚远，可以说Ai的数学水平还遥遥无期