A beginner-friendly, open-source introduction to mathematical proofs, with guided examples from competition mathematics. Designed for students transitioning into formal proofs without requiring real analysis.

The AMC Problem Trainer sources past AMC problems adaptively to improve user practice efficiency.

Solution complète du problème B6 du concours Putnam 2011 — le problème où pas 1 des 3407 candidats a marqué, ne serait-ce, qu'un seul point. Démonstration via l'exponentielle tronquée, racines doubles sur les corps finis et construction auxiliaire G(x) = F(x) - x + x^p.

Reproducible $0 local study: naive QLoRA SFT degrades small-model AMC reasoning (Qwen3 1.7B/4B), with contamination-controlled eval. MLX on a MacBook M4.

Accurate classification of topics and skills tested in competitive math problems

My advanced mathematical problem-solving guide with detailed, step-by-step solutions and analysis, aimed at building graduate-level problem-solving skills for math competitions, AI/ML, data science, and theoretical work.