When AI writes the software, who verifies it?
kept by eddie
The Hacker News discussion argues that as AI writes more code, formal verification tools like Lean must scale to ensure correctness and trustworthiness.