therefore
Sign up
Open navigation

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

2 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Open problemEditorial · Number theory

Normality of π

The number π\pi is normal in base 1010, so every block of kk decimal digits has limiting frequency 10−k10^{-k}.

Source checked Jul 24, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Probability

Green's Open Problem 28

Suppose that X,YX, Y are two finitely-supported independent random variables taking integer values, and such that X+YX + Y is uniformly distributed on its range. Are XX and YY themselves uniformly distributed on their ranges?

Source checked Jul 26, 20261 pinned Lean statementInspect problem