Terence Tao: AI Tools Let High Schoolers Contribute to Math Research Frontiers