logoalt Hacker News

margorczynski • yesterday at 8:00 PM • 2 replies • view on HN

From what I understand all of them have Lean proofs/certificates thus are basically 100% proven without a doubt.

Replies

samrus • yesterday at 8:44 PM

We recently saw that lean itself isnt proven correct. Its not likely but i wouldnt call it verified if its only verified in lean

https://x.com/gro_tsen/status/2082483878480977959

➕ show 1 reply
voxl • yesterday at 8:32 PM

Incorrect. The statement in Lean can itself be wrong. Moreover, they could be exploiting a kernel bug in Lean, of which we had one published literally a week ago.