Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
All topics

1194 of 1194 statement records

17 source collections · 43 mathematical fields

Source labels openWikipedia · Number theory

Open questions on transcendence of numbers

ππππ\pi^{\pi^{\pi^\pi}} is not an integer.

This would follow from ππππ\pi^{\pi^{\pi^\pi}} being transcendental, but this formulation is of interest in its own right, as it could in principle be proven by direct computation. Reference:* YouTube

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Number theory

Open questions on transcendence of numbers

log(log(2))\log(\log(2)) is transcendental.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Number theory

Twin prime conjecture

Are there infinitely many primes p such that p + 2 is prime?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Number theory

Infinitude of Wall–Sun–Sun primes

A prime pp is a Wall–Sun–Sun prime if and only if Lp1(modp2)L_p \equiv 1 \pmod{p^2}, where LpL_p is the pp-th Lucas number. It is conjectured that there is at least one Wall–Sun–Sun prime.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Number theory

Infinitude of Wall–Sun–Sun primes

A prime pp is a Wall–Sun–Sun prime if and only if Lp1(modp2)L_p \equiv 1 \pmod{p^2}, where LpL_p is the pp-th Lucas number. It is conjectured that there are infinitely many Wall-Sun-Sun primes.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Number theory

Infinitude of Wall–Sun–Sun primes

A Lucas–Wieferich prime associated with (a,b)(a,b) is an odd prime pp, not dividing a24ba^2 - 4b, such that Upε(a,b)0(modp2)U_{p-\varepsilon}(a,b) \equiv 0 \pmod{p^2} where U(a,b)U(a,b) is the Lucas sequence of the first kind and ε\varepsilon is the Legendre symbol (a24bp)\left({\tfrac {a^2-4b}{p}}\right). The discriminant of this number is the quantity a24ba^2 - 4b. It is conjectured that there are infinitely many Lucas–Wieferich primes of any given non-one fundamental discriminant.

TODO: Source this conjecture

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Number theory

Wolstenholme Prime

It is conjectured that there are infinitely many Wolstenholme primes. Reference:* Wikipedia

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Number theory

Woodal Primes

There are infinitely many prime numbers of the form k * 2 ^ k - 1 for k > 1.

Source checked Jul 26, 20261 pinned Lean statementInspect problem