>You can still read and understand an AI written proof.
No you can't lol, they're multi million lines of Lean, which is already an obscure language to understand. It's an assault on your senses.
No you can't lol, they're multi million lines of Lean, which is already an obscure language to understand. It's an assault on your senses.
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8...