It feels like AI is cracking a new math problem every week. Last month, OpenAI alone released 719 manuscripts claiming solutions to some of the field’s hardest problems. Even the computer checks can slip. After years of AI slop, it’s fair to wonder whether math is next.
AxiomMath is betting math can avoid that fate, not by slowing down, but by standing on firmer ground. The $1.6B startup wants to build a verified foundation that AI agents can rely on to write software and, eventually, do science.
