Well look at the work the "old school mathematician" who used Claude to do it has done.

He probably had the right idea and told Claude what to do. Try combinations on this and find one that's a counterexample. He's working at Anthropic so it may actually be against his personal interest to claim it was really his idea and Claude just made him faster.

When you look at how well they copy a picture they have full access to the whole time it's kind of hard to imagine them coming up a Mona Lisa of math all on their own.