Es viernes por la tarde, hora de señalar Claude Code + Aristóteles de @HarmonicMath a un problema aleatorio de Erdos y ver si podemos demostrarlo + formalizarlo