6 ms·
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
by arw0n 7d ago
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.
- znnajdla 7d agoMy point is if you're not a mathematician on the level of Terence Tao you wouldn't have been able to get this result. Thus, AI cannot be credited with the result. Because it's not AI that did it, it's the human that used it as a tool to get the result.