Hacker News new | past | comments | ask | show | jobs | submit
Yokohiii | on: AI is forcing us to pay off 40 years of technical debt
I don't think so. The article refers to formal verification, but also notes that proof checking should be done by humans. We don't have enough capable humans for that.