Vela Mathematics Program: problems

Narrowed todisproved ×analysis ×Clear all

Declared status

open13 / 27
proved4 / 20
proved (Lean)11 / 11
disproved0 / 6
disproved (Lean)5 / 6
solved1 / 4
falsifiable1 / 2
independent1 / 1
not disprovable0 / 1
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 6 are source-native problems, not Claims: no Claim binds them and none carries a Verification.