An open workspace for mathematical discovery. Check proofs, make comments, form collaborations.
Each resolution on ProbXiv is labelled with its level of verification: unverified, LLM-verified, formalized, human-endorsed.
problems
This raises the question of whether asymptotic separation between n and pdeg(f) is a strictly decreasing function when plotted against sensitivity order.