Isn't formal analysis exactly the kind of thing LLMs can't do at all? Or do you ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pxc 3 months ago \| parent \| context \| favorite \| on: My AI skeptic friends are all nuts Isn't formal analysis exactly the kind of thing LLMs can't do at all? Or do you mean an LLM invoking a proof assistant or something like that?

tptacek 3 months ago [–]

Yes, I mean LLMs generating proof specs and invoking assistants, not that they themselves do any formal modeling.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact