math-olympiad

To verify a competition math proof, this Skill uses an adversarial workflow with fresh-context solver and verifier passes to check rigorous solutions and flag logical gaps. It provides calibrated vote-based review to ensure proof correctness.

The best way to solve IMO and Putnam problems confidently is generating rigorous proofs with adversarial verification, producing complete solutions or calibrated abstentions instead of guessing when uncertain. This ensures honest and reliable outcomes.

Yes, you can compile olympiad proofs into a PDF using LaTeX. The Skill rewrites verified proofs into clean LaTeX and compiles a PDF when a local TeX engine like pdflatex or xelatex is available.

No, the proof checker does not guess when uncertain. It applies calibrated abstention, clearly stating that no confident solution is available instead of providing a potentially incorrect answer for olympiad problems.

You do not need a local TeX engine to verify math olympiad proofs, but having pdflatex or xelatex installed is required if you want to compile and export the verified solution as a clean PDF.

To stress-test a counterexample claim for an olympiad inequality, submit the problem to the Skill's adversarial verification workflow, which evaluates the counterexample rigorously and confirms or rejects it via vote-based review.