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

234 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
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 · Harmonic analysis

Fuglede's conjecture in dimensions 1 and 2: Dim 1

Fuglede's conjecture* in one dimension: A bounded subset of ℝ with positive Lebesgue measure is spectral iff it tiles ℝ by translation.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Associative algebras

Köthe conjecture: Two By Two Matrix

The Köthe conjecture: for any nil ideal I of R, the matrix ideal M_2(I) is a nil ideal of the matrix ring M_2(R).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Complex analysis

Bloch and Landau constants

Ahlfors and Grunsky also conjectured in [AG37] that this upper bound is the precise value of the Bloch constant.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Harmonic analysis

Fuglede's conjecture in dimensions 1 and 2: Dim 2

Fuglede's conjecture* in two dimensions: A bounded subset of ℝ^2 with positive Lebesgue measure is spectral iff it tiles ℝ^2 by translation.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Associative algebras

Köthe conjecture: Matrix Over Kother Radical

The Köthe conjecture: for any positive integer n, the Köthe radical of R is the matrix ideal M_2(Nil*(R)).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Complex analysis

Bloch and Landau constants

In [Ra43], Rademacher says that he strongly believed that this upper bound is the precise value of the Landau constant.

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 · Harmonic analysis

Kakeya problem

The Kakeya set conjecture: Kakeya sets in Rn\mathbb{R}^n have Hausdorff dimension nn.

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

Bounded Burnside problem

Let GG be a finitely generated group, and assume there exists nn such that for every gg in GG, gn=1g^n = 1. Is GG necessarily finite?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Complex analysis

Brennan's Conjecture

Brennan's conjecture, part 1: B(2)=1B(-2) = 1.

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

Gap conjecture

If a finitely generated group has superpolynomial growth, then with respect to any finite generating set its growth function is at least ene^{\sqrt n} in Grigorchuk's preorder on growth functions, where the comparison is witnessed by linearly rescaling the radius.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Mathematical logic

Busy Beaver

Determine the value of the Busy Beaver function at n = 6.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Complex analysis

Brennan's Conjecture

Brennan's conjecture, part 2: Bb(2)=1B_b(-2) = 1.

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