Sum of three cubes
An integer n : ℤ can be written as a sum of three cubes (of integers) if and only if
n is not 4 or 5 mod 9.
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.An integer n : ℤ can be written as a sum of three cubes (of integers) if and only if
n is not 4 or 5 mod 9.
There does not exist a -perfect number
Taxicab number for , , and is not known. Whether such a number exists is also not known.
Taxicab number for and is not-known for any . Whether such a number exists is also not known.
is transcendental.
is transcendental.
is transcendental.
is transcendental.
is transcendental.
is transcendental.
is transcendental.
is transcendental.
is transcendental.
is not an integer.
This would follow from being transcendental, but this formulation is of interest in its own right, as it could in principle be proven by direct computation. Reference:* YouTube
is transcendental.
is transcendental.
is transcendental.
The Catalan constant is transcendental.
Are there infinitely many primes p such that p + 2 is prime?
A prime is a Wall–Sun–Sun prime if and only if , where is the -th Lucas number. It is conjectured that there is at least one Wall–Sun–Sun prime.