#proof assistant

Proof Assistant: 1 AI articles covering proof assistant news, analysis, and research

Articles

Axiom Math Wants to Keep AI Slop Out of Mathematics

Axiom Math Wants to Keep AI Slop Out of MathematicsNEW⭐8

📅 2小时前👁 8 views

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.