Are they actually autonomous? I’d say subject knowledge at the prompt stage plays a large part towards getting proper results
Prompting for some of the results was almost the "Computer, do a breakthrough. Make no mistakes." meme. Just someone telling the model to keep trying a couple of times.
Unfortunately we don't actually know what kind of prompting was done for the more prominent results.
When Claude made progress on the Riemann conjecture, here are the kind of prompts used:
> Jarred's input was mostly limited to sending Claude messages of encouragement (mostly variants of “keep going” or “believe in yourself”).2 This seems to have helped Claude overcome some initial skepticism that it could make meaningful progress.
And left it for a long time. Jarred isn't a mathematician, he's the maintainer of a janky JavaScript environment.
Here's the transcript: https://www-cdn.anthropic.com/8a0d1add3c637b858a9a181e98c40e...