3 ms·
From what I understand all of them have Lean proofs/certificates thus are basically 100% proven without a doubt.
by margorczynski 2mo ago
From what I understand all of them have Lean proofs/certificates thus are basically 100% proven without a doubt.
- voxl 2mo agoIncorrect. 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.
- samrus 2mo agoWe 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 https://x.com/gro_tsen/status/2082483878480977959
- gpm 2mo agoBetween a lean proof, and a peer reviewed paper, the former is a lot less likely to be mistaken... Nothing is perfect.
- an0malous 2mo agoBesides for what others have mentioned, the lean proof could be proving something else. Given AI’s propensity to hallucinate, seems like someone should check the lean proof actually expresses what it’s claimed to.