Formal Conjectures
Fixed repository commit. Only files with actual research-open declarations are eligible for problem records; tests, textbook exercises and solved-only files are excluded. Source declarations are not locally verified proofs.
1,250 catalogue entries · 459 new problem records · 862 catalogue entries linked to problem records
Catalogue entries can be source pointers, solved items or groups of questions. They are not added to the main problem count. Status reflects the saved source, inspected 2026-09-10.
Original collection ↗Attribution and reuse
Copyright The Formal Conjectures Authors. Code: Apache-2.0; other original material: CC BY 4.0. Third-party sources retain their own licenses. Original source files and notices preserved.
1,250 matching entries
Clear filtersCentral Binomial Tail Bounds, Conjecture 6.3
Source marks solvedArxiv
The Curling Number Conjecture
Status unassessedArxiv · 1 source-labeled open declarations
The first Atiyah--Sutcliffe conjecture
Status unassessedArxiv · 1 source-labeled open declarations
Cunningham chains — Jones's conjecture
Status unassessedArxiv · 2 source-labeled open declarations
Boxdot Conjecture
Source marks solvedArxiv
Unique Crystal Components
Status unassessedArxiv · 1 source-labeled open declarations
The length of an -increasing sequence of -tuples
Status unassessedArxiv · 1 source-labeled open declarations
Ringel's Conjecture and Kotzig's Conjecture for large
Source marks solvedArxiv
Barker sequences
Status unassessedArxiv · 1 source-labeled open declarations
Independent Domination of Regular Graphs, Conjecture 1.6
Status unassessedArxiv · 2 source-labeled open declarations
Digit in base representation of
Status unassessedArxiv · 1 source-labeled open declarations
Zariski Cancellation
Status unassessedArxiv · 1 source-labeled open declarations
Spectral sets and weak tiling
Status unassessedArxiv · 3 source-labeled open declarations
Furstenberg's `times p, times q` conjectures
Status unassessedArxiv · 1 source-labeled open declarations
The circulant Hadamard conjecture
Status unassessedArxiv · 1 source-labeled open declarations
An Arithmetic Sum Associated with the Classical Theta Function
Status unassessedArxiv · 5 source-labeled open declarations
A conjecture by Margulis on matrix groups
Status unassessedArxiv · 1 source-labeled open declarations
First Proof, Theorem 4
Source marks solvedArxiv
First Proof, Theorem 6
Source marks solvedArxiv
Group structure via subgroup counts
Status unassessedArxiv · 1 source-labeled open declarations
Dean's conjecture on cycles of length divisible by `k`
Status unassessedArxiv · 2 source-labeled open declarations
Fernandes' conjecture on the 2-generation of even direct product permutation groups
Status unassessedArxiv · 1 source-labeled open declarations
Bondy's conjecture on longest cycles in highly connected graphs
Status unassessedArxiv · 1 source-labeled open declarations
Planar -Rogers-Shephard, the equality case
Status unassessedArxiv · 1 source-labeled open declarations
The microscopic weighting on a metric space
Source marks solvedArxiv
Integer values of
Status unassessedArxiv · 1 source-labeled open declarations
The Alon-Tarsi short cycle cover conjecture
Status unassessedArxiv · 1 source-labeled open declarations
Minimum modulus for the unique multiset-sum problem
Status unassessedArxiv · 1 source-labeled open declarations
Banach-Mazur Rotation Problem
Status unassessedArxiv · 1 source-labeled open declarations
The Poisson Conjecture
Status unassessedArxiv · 2 source-labeled open declarations
Convergence of the Borwein Series with Sinusoidal Coefficient
Source marks solvedBooks
Books · 4 source-labeled open declarations
Books · 1 source-labeled open declarations
Bugeaud Collection of Conjectures and Open Questions: Lacunary Sequences in Real Number Fields
Status unassessedBooks · 2 source-labeled open declarations
Bugeaud Collection of Conjectures and Open Questions: Rapidly Increasing Sequences Dense Modulo One
Status unassessedBooks · 2 source-labeled open declarations
Bugeaud Collection of Conjectures and Open Questions: Confined Powers of Non-Pisot Numbers
Status unassessedBooks · 1 source-labeled open declarations
Books · 1 source-labeled open declarations
Books · 1 source-labeled open declarations
Equidistributed Sequences
Status unassessedBooks · 3 source-labeled open declarations
Erdős Problem 1
Status unassessedErdosProblems · 2 source-labeled open declarations
Erdős Problem 10
Status unassessedErdosProblems · 3 source-labeled open declarations
Erdős Problem 100
Status unassessedErdosProblems · 2 source-labeled open declarations
Erdős Problem 1000
Source marks solvedErdosProblems
Erdős Problem 1002
Status unassessedErdosProblems · 1 source-labeled open declarations
Erdős Problem 1003
Status unassessedErdosProblems · 2 source-labeled open declarations
Erdős Problem 1004
Status unassessedErdosProblems · 1 source-labeled open declarations
Erdős Problem 1007
Source marks solvedErdosProblems
Erdős Problem 1008
Source marks solvedErdosProblems
Erdős Problem 101
Status unassessedErdosProblems · 1 source-labeled open declarations
Erdős Problem 1014
Source marks solvedErdosProblems