> 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_ 5 hours ago | parent | next [-]

formal verifiability e.g. vi Lean

Even Lean has bugs.

> AI "Proves" Collatz Conjecture with Lean 4 Bug

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

KPGv2 5 hours ago | parent | prev [-]

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