Sí, demostrar problemas de Erdős con @HarmonicMath Aristóteles es genial, pero ¿has intentado usarlo para verificar soluciones al estilo de LeetCode? Lo hemos hecho. Funciona (la inferencia invariante... aún no es rápida).