Comment by evenhash
4 hours ago
The proof is not written in Lean, though. It’s written in English and requires validation by human experts to confirm that it’s not gibberish.
4 hours ago
The proof is not written in Lean, though. It’s written in English and requires validation by human experts to confirm that it’s not gibberish.
Yeah, but I wouldn't be surprised if they train the model on verification assisted by Lean