math-olympiad

Solves competition math problems and checks proposed proofs with independent adversarial reviewers, returning a verified argument or an explicit account of unresolved gaps.

When to use it

Use for competition math problems, olympiad inequalities, proof verification, or requests to find counterexamples.

Give it a competition math problem or proof; it returns a checked, LaTeX-formatted argument or an honest abstention, with an optional PDF when a LaTeX compiler is available.