Hacker News Reader

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

It's a search problem; finding the shortest and most elegant path through the space of arguments.