两名高中生在 AI 辅助下推进菲尔兹奖得主相关数学研究