On perjantai-iltapäivä, aika osoittaa Claude Code + @HarmonicMath:n Aristoteles satunnaiseen Erdos-ongelmaan ja katsoa, voimmeko todistaa + virallistaa sen