Jest piątkowe popołudnie, czas skierować Claude Code + @HarmonicMath's Arystotelesa na losowy problem Erdosa i zobaczyć, czy możemy go udowodnić + sformalizować.