An alloy steel that remains hard at a red heat, used to make metal-cutting tools English: high-speed steel, hot-work steel