The proofs could be optimized for human consumption.
OpenAI could optimize each proof for fewest theorems, low branching, or short dependency chains.
OpenAI could have an adversarial network enforce that proofs look human.
OpenAI could spend a couple more machine hours per paper with the prompt "edit for clarity".
I think OpenAI wants the outputs to be unreadable.
If outputs "too advanced for human comprehension" become the norm, then every interaction requires tokens.
If someone can buy a day pass, get what they need, and leave, then there's no recurring revenue stream.
I think OpenAI wants the outputs to be unreadable. If outputs "too advanced for human comprehension" become the norm, then every interaction requires tokens. If someone can buy a day pass, get what they need, and leave, then there's no recurring revenue stream.