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
Conjecture 1 holds if X is assumed to be a compact metric space.
As a first step, we conjecture that if a graph G has no extreme vertices and |∂(G)|=4 , then ∂(G)=Per(G) .