Reciprocals of Partition Polynomials
Evan Chen, Ken Ono, Jujian Zhang
AI use, as the source states it
“AxiomProver autonomously produced Lean/mathlib formalizations and machine-checkable proofs of these six conjectures, and also discovered a counterexample to the statement as printed; the corrected form remains open.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.