Artificial intelligence × Exploratory learning × Mathematics ×