Vela Mathematics Program: problems

Narrowed todecidable ×not formalized ×source:erdos-problems ×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 7 are source-native problems, not Claims: no Claim binds them and none carries a Verification.