// about
CompeteMath is a competitive mathematics arena. Every week a fresh problem drops, the leaderboard resets its rhythm, and solvers from around the world race to find the key insight. No ads, no fluff — just problems worth your time.
Weekly problems arrive every Friday. Solve them for points, climb the leaderboard, and keep your streak alive. Between drops, the Training Grounds hold a growing pool of generated problems sorted by concept, and the Problem Forge lets you draft problems of your own for the community to battle over.
Where possible, our problems and solutions are formally verified with the Lean 4 proof assistant against Mathlib. When we say an answer is correct, we mean a computer checked the proof — not that someone eyeballed it.
CompeteMath is an independent project built by a small team that believes competition is the fastest way to fall in love with mathematics. Want to help? See Contribute.