Mapping the frontier of scientific reasoning.
Rabdos explores the space of reasoning in AI systems: where models reason their way to an answer, where they only appear to, and what it takes to push that frontier.
See all researchMathematical reasoning data for training and evaluating AI models: original problems at the edge of difficulty, with verifiable solutions, at scale.
Founded by mathematicians and computer scientists at the University of Pennsylvania.
The frontier, measured
Rabdos Math Index →Research
See all research →Process of Elimination
The puzzle had five valid solutions. Five of six frontier models reported just one.
Read →May 12, 2026The Three‑Cylinders Problem
The elegant answer is R = 1/2. The true maximum is about 0.5087, and three of four models missed it.
Read →April 27, 2026MathDuels
Every model both solves problems and writes them for the others. The strongest authors are not always the strongest solvers.
Read →Come map the frontier with us.
We're looking for engineers and scientists from across STEM to build these instruments with us.