Why Do We Need Human Mathematicians Anymore? – What’s new