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

82 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openPapers · Number theory

Prime Tuples Conjecture

For any k ≥ 2, let a₁,...,aₖ and b₁,...,bₖ be integers with aᵢ > 0. Suppose that for every prime p there exists an integer n such that p ∤ ∏ i, (aᵢ n + bᵢ). Then there exist infinitely many n such that aᵢ n + bᵢ is prime for all i.

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

Zagier's Conjecture on Multiple Zeta Values

Zagier's conjecture*

The Q\mathbb{Q}-dimension of the vector space spanned by all multiple zeta values of weight nn equals dnd_n, where dnd_n is the Zagier dimension sequence satisfying d0=1d_0 = 1, d1=0d_1 = 0, d2=1d_2 = 1, and dn=dn2+dn3d_n = d_{n-2} + d_{n-3} for n3n \geq 3.

Source checked Jul 26, 20261 pinned Lean statementInspect problem