AI in Mathematics and Science