We don't know what the prompts were though. Terence Tao showed of some of his, and they are indeed huge, with lots of context, things that might work, things he knows don't etc. What we do know about this, is that 10k agents worked together on this. The initial prompt, while probably still very relevant, would get diluted over time. We simply don't know the level of inolvement of humans in reaching this proof.