3 ms·
I don't have access to the exact agent OpenAI used, and I certainly don't have access to the enormous amount of tokens that were used. That being said, I doubt
by matteoraso 22d ago
I don't have access to the exact agent OpenAI used, and I certainly don't have access to the enormous amount of tokens that were used. That being said, I doubt there was some advanced prompting technique going on here. We've seen AI proofs with the prompts attached, and it's pretty basic stuff like "don't give up".
- znnajdla 22d agoI think you're not aware of the specifics of this case. A mathematician worked on the prompts for over a year to get this proof. Look up the details.