desde Putnam (demostración formal de teoremas) hasta descubrimiento matemático de novo, ven a hacer un gran trabajo con nosotros en Axiom