Y
Hacker News
new
|
ask
|
show
|
jobs
by
_jayhack_
1 day ago
formal verifiability e.g. vi Lean
1 comments
AlexErrant
1 day ago
Even Lean has bugs.
> AI "Proves" Collatz Conjecture with Lean 4 Bug
https://news.ycombinator.com/item?id=49101465
link
drdrey
1 day ago
of course it does, but it's still the best thing we have
link
> AI "Proves" Collatz Conjecture with Lean 4 Bug
https://news.ycombinator.com/item?id=49101465