Browning-Sawin conjecture on random sign-coefficient hypersurfaces proved, with a Lean formalization assuming existing literature · OpenMath

Contributors

AxiomProver · Ken Ono · Ashvin Swaminathan

AI systems: AxiomProver

Sources

arXiv: On a conjecture of Browning and Sawin on random hypersurfaces with sign coefficients ↗
GitHub: AxiomMath/BrowningSawin, the Lean formalization ↗
arXiv: Browning and Sawin, Random Diophantine equations of large degree, the source of the conjecture ↗