Workshop in mathematics and artificial artificial intelligence