please wait
a competitive math ladder with real grading. timed problems, checkpoint marks, elo that actually moves.
Prove the Mean Value Theorem using Rolle's theorem as a lemma.
Multiple choice, numbers, or expressions, instantly auto-graded. Binary feedback: right or wrong. No partial credit, no hand-holding. Pure speed and accuracy.
Structured M/A/R marks awarded line-by-line. Method, Answer, Reasoning — each graded independently. Know exactly where your proof earned credit and where it fell short.
Full proofs graded by AI against the problem’s own marking rubric. Every rubric item is scored with feedback, and uncertain grades go to a human reviewer. Write prose and structured math naturally.
every graded submission moves your rating, and the problem's too. rankings refresh every few minutes.
iconic mathematical structures. each one a universe of truth, compressed into symbols.
"the most important theorem in mathematics" — euler
"the most beautiful equation in mathematics" — richard feynman
"a dictionary of an entire universe of forms" — benoit mandelbrot
"the shape of space itself" — william thurston