Vela Mathematics Program: problems

Narrowed tosolved (Lean) ×discrepancy ×Clear all

Declared status

open0 / 5
proved2 / 4
disproved0 / 2
proved (Lean)2 / 2
solved0 / 2
solved (Lean)1 / 1

Status and formalization as the source record declares them, across two upstream serializations this product does not merge. Neither is a Vela standing. These 1 are source-native problems, not Claims: no Claim binds them and none carries a Verification.

7 more subjects

discrepancy1
distances1
divisors1
factorials1
geometry1
primes1
turan number1

Contributing source

source:erdos-ai-contributions-wiki1
source:erdos-problems1
source:formal-conjectures1
source:jayyhk-erdos-lean1
source:plby-lean-proofs1

Problem ledger

1 problemGraph view

declared solved (Lean) · formalizederdos:1028

(fun n => ↑(Erdos1028.H n)) =Θ[Filter.atTop] fun n => ↑n ^ (3 / 2)

graph theorydiscrepancypossible5 sources

Problems · Vela Mathematics Program

Problem ledger

Search problems.science