ai-safety

Axiom Math Shows How to Scale AI Verification

Axiom Math formally verified the Stacks Project. See what founders can learn about scaling AI agents, foundations, and verification in complex systems.