Loading...

CompeteMath

Home Community Practice Leaderboard

Welcome, one

A fresh problem every day. The whole world racing you to the insight.

next problem drops in

00h:00m:00s

// this week's race

Leaderboard

All leaderboards

Syncing scores...

01Training GroundsGenerated problems by concept — filter, grind, repeat.02Problem ForgeDraft problems for the community and battle over solutions.03LeaderboardSee this week's fastest solvers and climb the ranks.

CompeteMath

A competitive mathematics arena. New problems every day, formally verified with Lean 4.

Explore

Home
Community
Practice
Leaderboard

Resources

About
FAQ
Contribute
Donate

Legal

Privacy Policy
Terms of Service
Cookie Policy

© 2026 CompeteMath. All rights reserved.

$ proofs checked by Lean 4 · problems dropped every day