News for hackers. Stuff that matters.

A comment on Prediction: AI will make formal verification go mainstream. Parent comment

Re:Prediction: AI will make formal verification go mainstream by charcircuit on Tuesday December 16, 2025 @07:46PM (#46296834)
Why is it not possible? Do you think it's impossible to count? Do you think it's imposing to learn the letters in each token? Do you think combining the two is not possible.
[ Parent | on HN ]

There are no comments on this comment yet.