Axiom Math wants to keep AI slop out of mathematics

TechCrunch | 05.11.2026 18:16
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.