Remix clone Hacker News

new | show | ask | jobs Github

▲

_jayhack_ 5 hours ago

formal verifiability e.g. vi Lean

▲

AlexErrant 5 hours ago | parent [-]

Even Lean has bugs.

> AI "Proves" Collatz Conjecture with Lean 4 Bug

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

	▲	drdrey 4 hours ago \| parent [-]
		of course it does, but it's still the best thing we have