FormalizationCombinatoricsErdős #90
Erdős problem #90
Formalization of an existing proof. Contribution type: Formalization.
LFCR
Frontier
New proofs, counterexamples, bounds and formalizations reported by people and AI systems, newest first.
Reports linked to Erdős unit-distance problem · Show all
May 2026 5
LFCR
Partial resultCombinatoricsErdős #90
Erdős problem #90
Improved explicit bound. Contribution type: AI collaborating with humans.
LFCR
CounterexampleCombinatorics
Erdős unit-distance conjecture
A fixed δ>0 and infinitely many n with ν(n)≥n^(1+δ), disproving that asymptotic conjecture.
LFCR
LFCR