É sexta-feira à tarde, hora de apontar Claude Code + Aristóteles de @HarmonicMath para um problema aleatório de Erdos e ver se conseguimos provar + formalizar