Skip to content

Problems · Vela Mathematics Program

Narrowed todisproved ×geometry ×Clear all

Problem ledger

6 problemsGraph view
declared disproved · formalized · $500erdos:92
sorry ↔ ∃ c > 0, ∀ᶠ (n : ℕ) in Filter.atTop, ↑(Erdos92.f n) ≤ ↑n ^ (c / Real.log (Real.log ↑n))
geometrydistancespossible2 sources
declared disproved · $250erdos:135
Erdős problem 135
distancesgeometrypossible
declared disprovederdos:216
Erdős problem 216
geometryconvexA381776
declared disprovederdos:651
Erdős problem 651
geometryconvexpossible
declared disprovederdos:960
Erdős problem 960
geometrypossible3 sources
declared disproved · formalizederdos:1092
False ↔ (fun n => ↑n) =o[Filter.atTop] fun n => ↑(Erdos1092.f 2 n)
geometrychromatic numberN/A5 sources

Search problems.science

Find a Problem, Result, source, or page