#loop-engineering

Uncharted Waters: Thirteen Rules for Not Trusting an AI's Proofs

Seven theorems in fifteen days, one refutation, ~104 cycles of Lean — and the ship's log of why nothing sank