Hacker News new | past | comments | ask | show | jobs | submit
ulrikrasmussen | on: LLMs are making formal software verification feasible at a much larger scale
Then we don't really need software anymore, LLMs can just receive every user input and perform the action required.

/s