Hacker News3h agoenergy 106
LLMs are making formal software verification feasible at a much larger scale
image: Hacker News
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.