#verified foundation
Verified Foundation: 1 AI articles covering verified foundation news, analysis, and research
Articles
Axiom Math Wants to Keep AI Slop Out of MathematicsNEW⭐8
Axiom Math formally verified the Stacks Project, translating 7,654 pages of math into computer-checked Lean code to keep AI slop out of mathematics.