长沙15岁初三少年闯进全球数学竞赛决赛：参赛AI队伍均未入围决赛