Four-digit Kaprekar dynamics in odd bases
Evan Chen, Ken Ono, Richard E. Schwartz, Dinesh S. Thakur
AI use, as the source states it
“As a test case for AI-assisted formal mathematics, AxiomProver produced Lean/mathlib formalizations of these results.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.