Conference on Math and AI