Comment by mfld

My hunch is that improving those proofs specifically might be a similar endeavour as improving a large vibe coded app.