feat: erdos672 assembly, Codex enrichment, sweep & cleanup#75

Open

kavanaghpatrick wants to merge 7 commits intomainfrom

feat/math-forge

Commits on Mar 14, 2026

feat: sweep 15 new open problems, parallel Codex orchestrator, audit backlog
claude
committed

Commits on Mar 15, 2026

feat: auto-enrich Codex prompts with formal statements, dead ends, and context summaries
claude
committed
feat: erdos672 sub1 compiled — SeqA∩SeqB ⊂ {v≡1 mod 3080}, 1 sorry remaining
claude
committed

Commits on Mar 16, 2026

feat: submit full erdos672 assembly to Aristotle (slot734) with all context
claude
committed

Commits on Apr 15, 2026