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.
MCQ and numeric entry, 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 an AI rubric trained on olympiad marking schemes. Every logical step evaluated, every gap flagged. Submit LaTeX, get human-quality feedback in seconds.
every submission moves your rating. every problem has a k-factor. live rankings updated in real-time.
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