This is currently not possible. There are options to make fields/properties required for the record creation, see here, but it's not possible to make an associated file mandatory.
Best regards!
Karsten Köhler HubSpot Freelancer | RevOps & CRM Consultant | Community Hall of Famer