Mathematical Intelligence