Going for Gold with the Axiom Detector