News for hackers. Stuff that matters.

A comment on My AI skeptic friends are all nuts. Parent comment

Re:My AI skeptic friends are all nuts by pxc on Tuesday June 03, 2025 @07:48PM (#44175970)
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?
[ Parent | on HN ]
Re:My AI skeptic friends are all nuts by tptacek on Tuesday June 03, 2025 @08:08PM (#44176073)
Yes, I mean LLMs generating proof specs and invoking assistants, not that they themselves do any formal modeling.
[ Parent | on HN ]