We prove that the natural density dk(p), of integers whose k-th smallest prime divisor is p, is not unimodal for every k ≥ 4, completing Erdős' classification. The proof was discovered by the Multiscalar Fields System with limited human interaction.
Read the full proof, with the paper, verifier code, and the problem statement alongside it.