Hacker News Reader

> 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?

I've driven back roads in Ireland. Super messy and chaotic. I was still able to use a map to get to my destination.

formal verifiability e.g. vi Lean

Even Lean has bugs.

> AI "Proves" Collatz Conjecture with Lean 4 Bug

of course it does, but it's still the best thing we have