Math Olympiad Solver
The five things that change outcomes
- Strip thinking before verifying — a verifier that sees the reasoning is
biased toward agreement. Fresh context, cleaned proof only.
- "Does this prove RH?" — if your theorem's specialization to ζ is a famous
open problem, you have a gap. Most reliable red flag.
- Short proof → extract the general lemma — try 2×2 counterexamples. If
general form is false, find what's special about THIS instance.
- **Same g
[Description truncada. Veja o README completo no GitHub.]