A problem of Andrews and Dhar on partitions
Simon Mahns, Ken Ono, Jujian Zhang
AI use, as the source states it
“AxiomProver autonomously produced and Lean-verified the equidistribution theorem.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.