SR
RESEARCH — OPEN PROBLEMS
Designed panel only — not a screenshot. Three open problems, worked counterexample-first.
The goal
Work the three open problems under Engineering by Subtraction — counterexample-first, with +1 / 0 / −1 evidence states and no solutions claimed.
What it does — the task
- The Perfect Cuboid — an open problem, no solution claimed
- The Scholz–Brauer addition-chain conjecture — an open problem, no solution claimed
- Markov–Frobenius uniqueness — an open problem, no solution claimed
- Counterexample-first work under Engineering by Subtraction
- Evidence graded in +1 / 0 / −1 states
Why it exists
Longstanding open problems are worked openly, with evidence states stated plainly and no solutions claimed. This is a research program — no savings are claimed here.
Status: Research program — no solutions claimed; the repository is the artifact.
