A critical authentication bypass in Rejetto HTTP File Server — uncovered by Anthropic's restricted Mythos AI model through a novel application of a formal-methods reasoning tool — was under active ...