Skip to content

Start from the frontier.

Open a scientific problem: what its sources report, what has been accepted, and the scope no Result covers yet.

1,217 published Problems7 rights-reviewed formalizations

Browse problems Add contribution

Vela Mathematics Program

roota4a96441668a

  1. Erdős problem 94Result accepted · Aug 18, 2026, 6:46 PMFor every finite planar point set P, the sum over its distinct determined distances of the unordered-pair distance multiplicities equals P.card.choose 2Scope: This identity does not establish the cubic distance-multiplicity conjecture.
  2. Erdős problem 321Result accepted · Aug 17, 2026, 6:33 PMA two-sided asymptotic bound on extremalSizeScope: Supplies a candidate answer, not a proof of it.
  3. 1,215 questions still open

Published collections

Compare collections
Erdős Problems Published collection

1,217 numbered Problems

Formal Conjectures Published subset

7 rights-reviewed Lean declaration occurrences

A Submission is producer input and a check is one scoped report. Neither changes what this place holds to be true. How a Result is accepted