Artificial Mathematical Intelligence