The partition function and elliptic curves
AI use, as the source states it
“The two new algebraic identities at the heart of this framework, as opposed to the classical results it builds on, were formalized and verified in Lean by AxiomProver.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.