Seventh International Symposium on Artificial Intelligence and Mathematics