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

11 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openarXiv · Dynamical systems

Furstenberg's `times p, times q` conjectures

Conjecture 1.3* (the ×p,×q\times p, \times q conjecture): the only atomless Borel probability measure on T\mathbb{T} which is both TpT_p- and TqT_q-invariant is the Lebesgue measure.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Dynamical systems

Conjectures about the Mandelbrot and Multibrot sets

A stronger version of the MLC conjecture, stating that all multibrots are locally connected. Note that we don't need to require 2 ≤ n because the conjecture holds in the trivial cases n = 0 and n = 1 too.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Dynamical systems

Conjectures about the Mandelbrot and Multibrot sets

The density of hyperbolicity conjecture, stating that the set of all parameters c for which fun z ↦ z ^ 2 + c has an attracting cycle is dense in the Mandelbrot set.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Dynamical systems

Conjectures about the Mandelbrot and Multibrot sets

The density of hyperbolicity conjecture for Multibrot sets, stating that the set of all parameters c for which fun z ↦ z ^ n + c has an attracting cycle is dense in multibrotSet n. Note that we need to require 2 ≤ n because the conjecture is trivially false for n = 1.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Dynamical systems

Conjectures about the Mandelbrot and Multibrot sets

The boundary of any Multibrot set is conjectured to have zero area. Note that we don't need to exclude the trivial cases n = 0 and n = 1 because the conjecture holds for them.

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

Gottschalk's surjunctivity conjecture

Gottschalk's surjunctivity conjecture* (1973): every group is surjunctive. That is, for every group G and every finite alphabet A, every injective cellular automaton on A^G is surjective.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1135

The Collatz conjecture states that for any positive integer nn, there exists a natural number mm such that the mm-th term of the sequence is 1.

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

Collatz conjecture

Now form a sequence beginning with any positive integer, where each subsequent term is obtained by applying the operation defined above to the previous term. The Collatz conjecture states that for any positive integer nn, there exists a natural number mm such that the mm-th term of the sequence is 1.

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

Juggler conjecture

Now form a sequence beginning with any positive integer, where each subsequent term is obtained by applying the operation defined above to the previous term. The Juggler Conjecture states that for any positive integer nn, there exists a natural number mm such that the mm-th term of the sequence is 11.

Source checked Jul 26, 20261 pinned Lean statementInspect problem