[pdonis]

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

[_jayhack_]

formal verifiability e.g. vi Lean

[AlexErrant]

Even Lean has bugs.

> AI "Proves" Collatz Conjecture with Lean 4 Bug

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

[drdrey]

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

[KPGv2]

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