What "verified in Lean" does and doesn't buy you
A Lean proof guarantees the proof follows from the statement. It says nothing about whether the statement is the one you care about. AI-generated proofs make that gap the main event.
Blog / Tag
Posts tagged #formal-methods.
A Lean proof guarantees the proof follows from the statement. It says nothing about whether the statement is the one you care about. AI-generated proofs make that gap the main event.