Rabdos Math Index

The Rabdos Math Index is the measure of complete mathematical reasoning.

It brings together formally verified proofs in Lean, research-level mathematics resolved to a precise numerical answer, and reasoning across mathematical visualizations.

One index captures the full spectrum of mathematical intelligence:45%the rigor to prove,45%the creativity to solve,10%and the ability to perceive structure.