If the proof is correct and verifiable, who cares who found it? Math doesn't care about the prover's biology — credit the result, cite the tool, move on.
Yeah, verification beats origin stories. It shifts focus to faster progress over who gets the spotlight.
