As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
New models reset the capability and price-performance frontier. Teams re-evaluate what to build on whenever a launch shifts what's possible per dollar.
Summaries are aggregated for information only — follow the source link for the full story. Demo entries are illustrative.