Het is vrijdagmiddag, tijd om Claude Code + @HarmonicMath's Aristoteles op een willekeurig Erdos-probleem te richten en te kijken of we het kunnen bewijzen + formaliseren.