The Open Problems Atlas

A theorem is permanent — true forever, given its axioms — yet “proven” is not one thing. Established mathematics runs from one-line classical arguments to ten-thousand-page collaborations, to machine-checked formal artifacts, to results that stand only conditional on unproved conjectures. The axes here are kind of result, character of the proof, and role.