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