Språkmodellen ger kreativitet åt matematik-AI