Math problem-solving AI model