OPENMATH-2026 — Current Campaign State
Canonical machine authority:
governance/openmath_2026_campaign_state.jsonThis page is a human projection of that record. It is not a second source of truth.
Event-window disposition
OPENMATH-2026 event-window execution is TERMINAL.
- Submission cutoff: 9 p.m. America/Vancouver on 2 October 2026 (04:00 UTC on 3 October).
- Official competition submissions: 0.
- Official competition acceptances: 0.
- Mathematical outputs, failed routes, exact blockers, formal artifacts, agent returns and provenance remain retained.
- Historical native jobs and local evaluator results are not official submissions.
OPENMATH-2026 retains seven historical first-class hill lanes: H1, H2, H3, H4, H5, H6, H7. There are no executable OPENMATH replay leases.
Post-event mathematical frontiers
| Hill | Surviving frontier |
|---|---|
| H1 | Remaining q≥6 / premise closure |
| H2 | Expand the machine-search neighbourhood substantially or stop |
| H3 | Move to m≥4 constructions/obstructions |
| H4 | SOURCE_BLOCKED pending canonical serialization and contraction-margin/tie semantics |
| H5 | Repair exact small-size classification; then genuinely non-circulant 5×5–8×8 if useful |
| H6 | Broader rank-23 transformations or rank-22 obstruction |
| H7 | Promoted to GCL-ERDOS3: formalize D5 and attack the reciprocal-mass → AP bridge |
Mechanism disposition
The controlled outside-intelligence interface is retained. The operational lifecycle remains:
READY → LAUNCHED → RETURNED → CAPTURED → REPLAYED → ADJUDICATED → ADVANCED
It no longer selects the next mathematical task. A protected frontier-advancement gate owns successor selection. Next residual in GCL-CONTRIBUTION-RESULT/1 is evidence, not scheduling authority.
Participation transport remains GCL-RETURN-RELAY/1 through authenticated durable GitHub intake when a current frontier task is explicitly instantiated.
Successor campaign
The H7 corpus is promoted into GCL-ERDOS3, a standalone research campaign and reference implementation of frontier-governed research execution. OPENMATH H7 remains immutable provenance.
The initial active GCL-ERDOS3 frontier is: - D5 formal closure; - the weakest useful scale-local reciprocal-mass bridge; - adversarial attack on that bridge; - source/library interface reconnaissance.
No claim here proves Erdős Problem 3, certifies a theorem, or creates retroactive competition submission authority.