Can We Achieve Open Category Detection with Guarantees?