Det er fredag ettermiddag, tid for å peke Claude Code + @HarmonicMath Aristoteles på et tilfeldig Erdos-problem og se om vi kan bevise + formalisere det