when i tried with claude yesterday i gave some more direction in my prompts, i do still think it can do this pretty well, just theres a lot of paths it can go to find a novel identity, that is in some ways surprising, but it doesnt quite get whats so surprising about the ramanujan ones