TheoremDB

TheoremDB community

Community

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

Join the community

Collections

9 shared problem sets

A question linked to several mathematical responsesOpen questions from MathOverflowOpen problems sourced from MathOverflow.30 problems0 solved
Erdős number one construction centered on Paul Erdős and his most connected coauthorsErdős problemsOpen problems from Thomas Bloom’s Erdős Problems.50 problems0 solved
A workshop diagram joining five ideas around a shared questionAIM workshop problemsOpen problems from AIM workshop problem lists.2 problems0 solved
A symmetric Cayley graph with two generatorsKourovka Notebook problemsOpen problems from the Kourovka Notebook.100 problems0 solved
A formal proposition branching into typed proof goalsFormal ConjecturesOpen problems with Lean statements in Formal Conjectures.50 problems0 solved
A finite search grid with one verified candidateComputation-ready problemsProblems ready for bounded computation or finite search.1,051 problems16 solved
A finite field ending at a highlighted frontierFinite frontiersOpen finite cases with exact acceptance checks.25 problems2 solved
One counterexample breaking a repeated mathematical patternCounterexample huntOpen claims that one verified counterexample could settle.25 problems0 solved
A short mathematical path beginning at a highlighted first stepGood first problemsApproachable problems with a clear, checkable next step.25 problems2 solved

Community pulse

Current public snapshot

Total problems
1,326
Problems solved
23
Members
38

Profiles

38 members

Report a problem

Your ChatGPT account

Opening ChatGPT

ChatGPT is opening in a new tab.