alt Hacker NewsIf he doesn’t like the paper’s structure he can just prompt gpt pro to review and amend.
I know the model that produced these proofs is still private, but it’s worth a shot tackling the proofs with the current consumer-available frontier.
If he doesn’t like the paper’s structure he can just prompt gpt pro to review and amend.
I know the model that produced these proofs is still private, but it’s worth a shot tackling the proofs with the current consumer-available frontier.
LLMs causing problems? The solution, apparently: more LLMs!
How would you know that the new paper contained the same content as the original (let alone the actual Lean code)?