Re:AlphaProof Code
by SamuelAdams on Tuesday November 10, 2026 @11:24AM
(#50442553)
This seems like a trivial thing to verify though, point it at a known software version with a CVE, like OpenSSL / Heartbleed, or some of the more recent SSL / PHP / Node / HTTP issues. Then you would expect it to find the Heartbleed vulnerability quite quickly. If it does not, investigate and iterate.
[ Parent
| on HN ]
Re:AlphaProof Code
by tsimionescu on Tuesday November 10, 2026 @01:01PM
(#50443817)
This is not a "verify my code" kind of product, it takes real human work from experts in software verification but makes it possible for those experts to work on larger codebases.
So this wouldn't prove as much as you think. Especially since both tge experts and the LLMs behind this are well aware of Hearbleed - so them finding Hearbleed wouldn't tell you anything, really.