math-olympiad

You can solve olympiad inequalities and IMO problems by providing the full problem statement. The Skill generates rigorous proofs and adversarially verifies them in a fresh context to ensure strict reasoning and catch subtle errors.

Yes, LaTeX formatted output is available for verified Putnam proofs. Once verification passes, the Skill rewrites the solution into cleaner LaTeX-ready form and can compile a PDF when pdflatex or xelatex is available.

To find a counterexample for a competition math problem, the Skill applies adversarial verification to stress-test your proof attempt. It searches for false reductions and incorrect interpretations to identify if a counterexample invalidates the solution.

You do not need LaTeX installed to solve and verify olympiad math problems. LaTeX dependencies like pdflatex or xelatex are only required if you want to compile a PDF presentation output after the proof verification passes.

The best way to check an AIME proof attempt is to paste the full contest problem statement and your solution. The Skill stress-tests the proof for correctness through adversarial rechecking and delivers a cleaner final version if it holds up.