logoalt Hacker News

_jayhack_ • today at 2:52 PM • 1 reply • view on HN

formal verifiability e.g. vi Lean

Replies

AlexErrant • today at 3:15 PM

Even Lean has bugs.

> AI "Proves" Collatz Conjecture with Lean 4 Bug

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

➕ show 1 reply