// faq
Every Friday at 06:00 BST. The countdown on your home page is always live.
Each weekly problem carries a points value based on difficulty. Correct submissions earn full points; the leaderboard tracks totals per season.
Solving at least one problem correctly on a given day extends your streak. Miss a day and it resets — brutal, but that's the game.
Yes! Head to the Problem Forge (Community), draft your problem with full LaTeX support, preview it, and submit. An admin reviews every submission before it goes live.
A site admin checks every draft for correctness, clarity and difficulty before approving it to the public arena.
Answers on community problems can be upvoted (there are no downvotes). The best solutions rise to the top.
Some problems and solutions are machine-checked with the Lean 4 proof assistant against Mathlib, guaranteeing the mathematics is airtight.
Completely. If you want to support the servers, there's a donate link in the footer.