8 problems (5 active, 2 open, 1 dormant). Generated by scripts/build_index.py; do not edit by hand.
- From explicit near-solution to exact G2 metric · active · updated 2026-06-11
- Global residual bound on all of K3 · open · updated 2026-06-11
- Closed-form spectral data for the K7 metric · dormant · updated 2026-06-11
- The selection principle · active · updated 2026-06-11
- Axiom reduction in the formal core · open · updated 2026-06-11
- A shared standard for counting coincidences · active · updated 2026-06-14
- Independent human verification · active · updated 2026-06-11
- Standing confrontation with experiment · active · updated 2026-06-11