3 ms·
> most of the proofs I've looked at appear super messy and chaotic to me (while still being correct of course, so it doesn't matter) How do you know they're co
by pdonis 2mo ago
> most of the proofs I've looked at appear super messy and chaotic to me (while still being correct of course, so it doesn't matter)
How do you know they're correct if they're super messy and chaotic?
- KPGv2 2mo agoI've driven back roads in Ireland. Super messy and chaotic. I was still able to use a map to get to my destination.
- _jayhack_ 2mo agoformal verifiability e.g. vi Lean
- AlexErrant 2mo agoEven Lean has bugs. > AI "Proves" Collatz Conjecture with Lean 4 Bug https://news.ycombinator.com/item?id=49101465 https://news.ycombinator.com/item?id=49101465
- drdrey 2mo agoof course it does, but it's still the best thing we have