If understanding is so important and AI systems can only produce knowledge. Why can't mathematicians continue their work on better understanding?