Open Problem Gallery

Map an open or solved math problem as a sourced, step-through proof. Fork any line of reasoning and challenge the gaps.

Undergraduate & graduate theorems with worked, step-through proofs — in textbook order, by level and subject.

What changed in mathematics — provers, formalization, standards — atomized into cards. Mark each one and see where you disagree.