News for hackers. Stuff that matters.

A comment on The Mathocalypse. Parent comment

Re:The Mathocalypse by mfld on Thursday October 08, 2026 @11:33AM (#50007090)
My hunch is that improving those proofs specifically might be a similar endeavour as improving a large vibe coded app.
[ Parent | on HN ]
Re:The Mathocalypse by esafak on Thursday October 08, 2026 @11:45AM (#50007247)
It's a search problem; finding the shortest and most elegant path through the space of arguments.
[ Parent | on HN ]