È venerdì pomeriggio, è tempo di puntare Claude Code + @HarmonicMath's Aristotele su un problema casuale di Erdos e vedere se possiamo dimostrarlo + formalizzarlo