Hacker News new | past | comments | ask | show | jobs | submit
lutusp | on: LLMs are making formal software verification feasible at a much larger scale
> You can see that the blog post does not claim to solve the halting problem;

Yes, true, they just ignored it and made unsupportable claims. And the Halting Problem cannot be "solved," that is what the Halting Problem says and proves.

saagarjha | parent
No, the claims they made are well supported.