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
Can there be a finite covering system of the integers with distinct moduli, all of which are odd and greater than 1?
For the least k at which the small-prime part of binomnk exceeds n^2, how large can f(n) be?
22 conjectures of Cohen about cyclic numbers (integers with gcd(n, φ(n)) = 1) settled at once - 16 proved, 6 disproved - together with a complete resolution of a related OEIS problem on sequences whose running averages are Fibonacci…