Tag

#Stacks Project

The latest news, analysis and stories about Stacks Project — TECC.UZ.

1 articles

Axiom Math scales formal verification to clean up AI-generated math

Axiom Math has formally verified the Stacks Project using AI agents, creating a reliable foundation for future AI-driven science and software development.

November 5, 2026, 21:30