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
We don't know if the theorem 2 is true whenever p=ω , m=ω_1,n=ω_2 and n^p=ω_3=2^p : we do not suppose g.c.h. .