4 ms·
formal verifiability e.g. vi Lean
by _jayhack_ 2mo ago
formal verifiability e.g. vi Lean
- AlexErrant 2mo agoEven Lean has bugs. > AI "Proves" Collatz Conjecture with Lean 4 Bug https://news.ycombinator.com/item?id=49101465 https://news.ycombinator.com/item?id=49101465
- drdrey 2mo agoof course it does, but it's still the best thing we have