Comment by _jayhack_ | Hacker News Reader

Top New Best Ask Show Jobs

Comment by _jayhack_ | Hacker News Reader

Parent Full thread

formal verifiability e.g. vi Lean

Even Lean has bugs.

> AI "Proves" Collatz Conjecture with Lean 4 Bug

https://news.ycombinator.com/item?id=49101465

of course it does, but it's still the best thing we have

Reply on news.ycombinator.com