Parity of the partition function in quadratic progressions
AI use, as the source states it
“The algebraic identities at the heart of this paper, as well as the improved lower bound for odd partition numbers, have been formalized in Lean by AxiomProver.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.