Hacker News new | past | comments | ask | show | jobs | submit
ngl999 | on: LLMs are making formal software verification feasible at a much larger scale
Coz these machines process representation of knowledge, they don't process knowlegde. That part hasn't been figured out by human yet.

EDIT: typo