Positivity in classical enumerative geometry: a case study in synchronized AI-assisted mathematics
Gergely Bérczi, László M. Fehér
AI use, as the source states it
“The paper demonstrates a novel methodology: we combine several AI systems with human mathematical insight in a coordinated workflow, deploying each tool according to its strengths in experimental discovery, conjecture formation, symbolic proof construction, and verification.”
Named here, or see a mistake? Write to privacy@papex.org.