Wikipedia

The 175 problem files in FormalConjectures/Wikipedia that state a research or textbook statement, at commit 2055e5ad, one article each.

Their docstrings and Lean statements are quoted from Formal Conjectures (Google DeepMind) at that commit, under its Apache-2.0 license.

*abc* conjecture to Borsuk's conjecture

• *abc* conjecture
• Agoh-Giuga conjecture
• Agrawal's conjecture
• Normality of Irrational Algebraic Numbers
• Non-Power-of-2 Almost Perfect Numbers Conjecture
• The Alon–Saks–Seymour conjecture (disproved)
• Alspach's conjecture on cycle decompositions of complete graphs (1981; proved 2014)
• Amicable numbers
• The Andrews-Curtis conjecture
• Andrica's conjecture
• Artin's conjecture on primitive roots
• Balanced prime conjecture
• Bateman-Horn Conjecture
• Beal conjecture
• Beck–Fiala theorem and conjecture
• The Berge–Fulkerson conjecture
• Betrothed numbers
• The Bing-Borsuk Conjecture
• Bloch and Landau constants
• Borsuk's conjecture

Bounded Burnside problem to Dirichlet divisor problem

• Bounded Burnside problem
• Brennan's Conjecture
• Brocard's Conjecture
• Büchi's problem
• Bunyakovsky conjecture
• Busy Beaver
• Carmichael's totient function conjecture
• Catalan's conjecture and related Diophantine equations
• Černý Conjecture
• Class number problem for real quadratic fields
• Collatz conjecture
• Congruent Number
• The \(\frac 1 3\)–\(\frac 2 3\) conjecture
• Conway's 99-graph problem
• Dedekind Numbers
• Determinantal conjecture
• Babai–Seress Conjectures on the Diameter of Finite Groups
• Dickson's conjecture
• Diophantine \(m\)-tuples
• Dirichlet divisor problem

Elliott–Halberstam conjecture to Gap conjecture

• Elliott–Halberstam conjecture
• Some conjectures about ranks of elliptic curves over ℚ
• Emirps
• The Erdős–Moser equation
• The Erdős–Ulam problem
• Euclid Numbers conjecture
• Open questions regarding the existence of Euler bricks
• Euler's sum of powers conjecture
• Exponentials conjectures and theorems
• Factorial primes
• Falconer's distance set conjecture
• Feit-Thompson conjecture on primes
• Open questions about Fermat numbers
• Fermat-Catalan conjecture
• Fibonacci Primes
• Firoozbakht's conjecture
• Convergence of the Flint Hills and Cookson Hills series
• Fortune's Conjecture
• Fuglede's conjecture in dimensions 1 and 2
• Gap conjecture

Gauss circle problem to Inverse Galois problem

• Gauss circle problem
• Gilbreath's conjecture
• Goldbach's conjecture
• Goodman's conjecture on coefficients of \(p\)-valent functions
• The Goormaghtigh conjecture
• Graceful Tree Conjecture (Ringel–Kotzig conjecture)
• Grimm's conjecture
• Gromov's theorem on groups of polynomial growth
• The Gyárfás–Sumner conjecture
• Hadamard's conjecture
• Hajós' conjecture (1961) — disproved
• Hall's conjecture
• First Hardy–Littlewood conjecture
• The Hasse--Weil conjecture for elliptic curves
• Hedetniemi's conjecture (1966)
• Idoneal numbers completeness conjecture
• Inscribed square problem
• Polynomial-time computability of factoring
• Invariant Subspace Problem
• Inverse Galois problem

Open questions on irrationality… to Lovász's conjecture on…

• Open questions on irrationality of numbers
• Jacobian conjecture
• Jacobson Conjecture
• Juggler conjecture
• Kakeya problem
• Kaplansky's Conjectures
• Köthe conjecture
• Komlós conjecture
• Kummer–Vandiver conjecture
• Lander, Parkin, and Selfridge Conjecture
• Legendre's conjecture
• Lehmer's Mahler measure problem
• Lehmer's totient problem
• Leinster Groups
• Lemoine's conjectures
• The linear arboricity conjecture
• Littlewood conjectures
• Local uniformization
• Lonely runner conjecture
• Lovász's conjecture on Hamiltonian paths in vertex-transitive graphs (1970)

The Lovász–Plummer conjecture… to The Petersen colouring…

• The Lovász–Plummer conjecture (proved 2011) and Sheehan's conjecture
• Lychrel numbers in base 10
• Magic Squares
• Mahler's 3/2 Problem
• Conjectures about the Mandelbrot and Multibrot sets
• Mean value problem
• Conjectures about Mersenne primes
• Meyniel's conjecture on the cop number
• Mills' Theorem
• Modularity conjecture
• Moser's Worm
• Moving Sofa Problem
• Rational_variety
• Normality of mathematical constants
• Ohba's conjecture (2002; proved by Noel, Reed and Wu 2015)
• Oppermann's Conjecture
• Pebbling number conjecture
• Infinitude of Pell number primes
• Perfect numbers
• The Petersen colouring conjecture (Jaeger 1988)

Pierce–Birkhoff conjecture to Hypothesis H

• Pierce–Birkhoff conjecture
• Pierpont primes
• Pollock's (tetrahedral numbers) conjecture
• The Pompeiu problem
• Asymptotic density of powerful numbers
• Primes and perfect squares
• Prime Triplet Conjecture
• Quasiperfect Numbers
• Ramanujan τ-function
• Ramsey numbers
• Rational distance problem
• The reconstruction conjecture
• Infinite Regular Primes
• Decimal Repunit Primes
• Resolution of singularities
• Particular values of the Riemann zeta function
• Rudin's conjecture on squares in arithmetic progressions
• Sato–Tate conjecture
• Schanuel's Conjecture
• Hypothesis H

Scholz conjecture on addition… to Tarski's exponential function…

• Scholz conjecture on addition chains
• Selfridge's conjectures
• Sendov's conjecture
• Serre's multiplicity conjectures
• Sidorenko's conjecture (1993)
• Sierpiński number
• Singmaster's conjecture
• Six standard deviations suffice (Spencer's theorem)
• The small Cohen-Macaulay modules conjecture
• Snake in the box
• Solitary Numbers
• Sparse Ruler
• Packing
• Polynomial-time computability of comparisons of sums of square roots
• Steiner Systems
• Sumner's universal tournament conjecture (1971)
• Sum of three cubes
• (m,k)-perfect numbers
• Gottschalk's surjunctivity conjecture
• Tarski's exponential function problem

Taxicab numbers to Woodall Primes

• Taxicab numbers
• Toronto spaces
• The total colouring conjecture (Behzad 1965, Vizing 1968)
• Open questions on transcendence of numbers
• Tuza's conjecture
• Twin prime conjecture
• Union-closed sets conjecture
• Vaught conjecture
• Vizing's conjecture (1968)
• Infinitude of Wall–Sun–Sun primes
• Can a prime \(p\) satisfy \(2^{p-1} \equiv 1 \pmod{p^2}\) and \(3^{p-1} \equiv 1 \pmod{p^2}\)?
• Wieferich primes
• Wilson primes
• Wolstenholme Prime
• Woodall Primes

No article: 9 files here state no research or textbook statement: Brocard's Problem, Erdős–Rado sunflower conjecture, The Hadwiger-Nelson Problem, Happy Ending Problem, Herzog–Schönheim conjecture, Hilbert's Fifth Problem, Minimum Overlap Problem, No-three-in-line problem, Existence of Odd Weird Numbers.

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.