▶ Live compendium: https://az9713.github.io/proof-foundry/
A two-wave, 113-agent adversarial mathematics workflow: 8 Putnam problems proved (panel-verified), 8 open Erdős conjectures surveyed, 3 deep dives. Fable conducted; Opus solved and verified; Sonnet curated and typeset.
↑ Click the screenshot to open the live compendium.
index.html— the compendium (single self-contained HTML, 19 sections). Rendered live at the link above.proof-foundry-agent-report.md— orchestration postmortem: per-problem agent breakdown, sizing rationale, roles, and 9 lessons learned.
~8.1M subagent tokens across two waves. Wave 1 solved and verified; wave 2 added three deep dives (the minimum-overlap deep dive ships unverified with objections printed — by design). See the report for the full account.