While not a generative model, Lean is the 'GOAT' ecosystem for formal mathematical verification, now used as the primary verification layer for AI proofs.
Open the full topic