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.
1 topic

32 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openWikipedia · Special functions

Exponentials conjectures and theorems

Four exponentials conjecture* Let x0,x1x_0, x_1 and y0,y1y_0, y_1 be Q\mathbb Q-linearly independent pairs of complex numbers, then some exiyje^{x_i y_j} is transcendental.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Special functions

Open questions on irrationality of numbers

Is the Euler-Mascheroni constant γ\gamma irrational?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Special functions

Open questions on transcendence of numbers

Γ(1/n)\Gamma(1/n) for n ≥ 2 is transcendental.

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

Open questions on irrationality of numbers

Is the Catalan constant G=n=0(1)n/(2n+1)20.91596G = \sum_{n=0}^∞ (-1)^n / (2n + 1)^2 \approx 0.91596 irrational?

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

Particular values of the Riemann zeta function

ζ(2n+1)\zeta(2n + 1) is irrational for any nN+n\in\mathbb{N}^{+}.

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

Schanuel's Conjecture

Given any set of nn complex numbers {z1,...,zn}\{z_1, ..., z_n\} that are linearly independent over Q\mathbb{Q}, the field extension Q(z1,...,zn,ez1,...,ezn)\mathbb{Q}(z_1, ..., z_n, e^{z_1}, ..., e^{z_n}) has transcendence degree at least nn over Q\mathbb{Q}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem