On a conjecture of Browning and Sawin on random hypersurfaces with sign coefficients
AI use, as the source states it
“These results have been formalized in Lean by AxiomProver assuming existing literature.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.