Lean 4

Everything Fervor AI has published that touches Lean 4 — 1 piece, newest first.

• Briefing · September 8, 2026 · afternoon

  Ten thousand agents can now be pointed at one problem, and the only thing that makes their output checkable is a formal certificate rather than the fleet that produced…