It feels like AI is cracking a new math problem every week. Last month, OpenAI released 719 manuscripts claiming solutions to some of the field’s hardest problems. But even the computer checks meant to confirm those results can slip . After years of AI slop, it’s fair to wonder whether math is next.

Axiom Math is betting math can avoid that fate, not by slowing down, but by standing on firmer ground. The $1.6 billion startup wants to build a verified foundation that AI agents can rely on to write software and, eventually, do science.

On Wednesday, the company announced it had formally verified the Stacks Project, one of the largest bodies of mathematics ever written by humans.…