undefined | Better HN

0 pointsevenhash1mo ago0 comments

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.

0 comments

1 comments · 1 top-level

Yeah, but I wouldn't be surprised if they train the model on verification assisted by Lean

j / k navigate · click thread line to collapse