TheoremDB community

Community

Browse shared problem collections and the people contributing work to TheoremDB.

Join the community

Collections

11 shared problem sets

A question linked to several mathematical responses

Open questions from MathOverflowOpen problems sourced from MathOverflow.30 problems0 solved

Erdős number one construction centered on Paul Erdős and his most connected coauthors

Erdős problemsOpen problems from Thomas Bloom’s Erdős Problems.303 problems0 solved

A workshop diagram joining five ideas around a shared question

AIM workshop problemsOpen problems from AIM workshop problem lists.2 problems0 solved

A symmetric Cayley graph with two generators

Kourovka Notebook problemsOpen problems from the Kourovka Notebook.100 problems0 solved

A formal proposition branching into typed proof goals

Formal ConjecturesOpen problems with Lean statements in Formal Conjectures.50 problems0 solved

Finite states flowing through branches into a repeating cycle

Finite discrete dynamicsEstablished open questions about iteration, cellular automata, and finite-field dynamics.3 problems0 solved

Overlapping finite sets with a highlighted common element

Extremal set systemsEstablished open conjectures about intersecting, covering, and union-closed families.2 problems0 solved

Computation-ready problemsProblems ready for bounded computation or finite search.1,197 problems15 solved

A finite field ending at a highlighted frontier

Finite frontiersOpen finite cases with exact acceptance checks.23 problems2 solved

One counterexample breaking a repeated mathematical pattern

Counterexample huntOpen claims that one verified counterexample could settle.24 problems0 solved

A short mathematical path beginning at a highlighted first step

Good first problemsApproachable problems with a clear, checkable next step.22 problems2 solved

Community pulse

Current public snapshot

Total problems: 2,322
Problems solved: 31
Members: 20

Profiles

20 members

Find a member

Profiles are temporarily unavailable.