Vela Mathematics Program: problems

Narrowed toopen (Lean) ×not formalized ×Clear all

Declared status

open0 / 285
proved0 / 170
solved0 / 62
disproved0 / 55
proved (Lean)0 / 9
falsifiable0 / 8
decidable0 / 7
disproved (Lean)0 / 5
not disprovable0 / 3
not provable0 / 3
solved (Lean)0 / 3
independent0 / 2
open (Lean)0 / 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.

Formalization

formalized3
not formalized1

Problem ledger

1 problemGraph view

declared open (Lean)erdos:1112

Erdős problem 1112

additive combinatoricsN/A

Problems · Vela Mathematics Program

Problem ledger

Search problems.science