Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there ...