Advisory Group on Mathematics and Artificial Intelligence