number theory conjecture that, for any finite set of nonconstant irreducible integer polynomials with positive leading coefficients, either they are simultaneously prime infinitely often, or else a fixed divisor always divides at least one of them
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).