Lehmer's Mahler measure problem: Best
μ=M(X^10 + X^9 - X^7 - X^6 - X^5 - X^4 - X^3 + X + 1) is the best value for lehmer_mahler_measure_problem.
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.1194 of 1194 statement records
17 source collections · 43 mathematical fields
μ=M(X^10 + X^9 - X^7 - X^6 - X^5 - X^4 - X^3 + X + 1) is the best value for lehmer_mahler_measure_problem.
Does there exist a composite number such that Euler’s totient function divides ?
For all odd integers there are prime numbers such that .
For all odd integers there are odd prime numbers and natural numbers such that , ,
For any two real numbers and ,
where is the distance to the nearest integer.
For real number and prime ,
where is the distance to the nearest integer, and is the -adic norm.
Consider runners on a circular track of unit length. At the initial time , all runners are at the same position and start to run; the runners' speeds are constant, all distinct, and may be negative. A runner is said to be lonely at time if they are at a distance (measured along the circle) of at least from every other runner. The lonely runner conjecture states that each runner is lonely at some time, no matter the choice of speeds.
Lychrel conjecture (base 10):* conjecturally, there are no Lychrel numbers in base 10.
Equivalently, every positive integer eventually becomes a palindrome under the Lychrel iteration.
The first widely studied open case: whether 196 is a base-10 Lychrel number.
Does there exist a matrix such that every entry is a distinct square, and all rows, columns, and diagonals add up to the same value?
0 is excluded, as a Magic Square of Squares with 0 and 8 distinct squares is know is knownn. See Magic Square of Squares
The Mahler Conjecture states that there are no non-zero Z-numbers.
For any odd natural number p if two of the following conditions hold,
then all three must hold:
k such that or The New Mersenne Conjecture statement holds for odd primes.
Are there infinitely many Mersenne primes?
The first five Catalan-Mersenne numbers are known to be prime. Catalan conjectured that they are prime "up to a certain limit". Are all Catalan-Mersenne numbers with prime?
is normal in base 10.
For every integer there exists a prime between and .
For every integer there exists a prime between and .
Oppermann's Conjecture*: For every integer , the following hold:
There are infinitely many prime Pell numbers