On the paucity of lattice triangles
David Kurniadi Angdinata, Evan Chen, Ken Ono, Jesse Thorner, Jiaxin Zhang, Jujian Zhang
AI use, as the source states it
“The main technical result in our proof was autoformalized by AxiomProver in Lean (using mathlib).”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.