Anthropic's Claude proves existing code correct and finds long-missed bugs
AIAnthropic used Claude to produce mathematical proofs that existing open-source code is correct, drawing on test programs from 123 libraries in Google's OSS-Fuzz project. Claude also found hundreds of bugs it was allowed to fix, including a logical error undetected for over a decade.
AIWhy it matters.
The source shows how an AI model proved existing code correct and found bugs that years of testing missed, while stating the proofs' limits.
Loading source posts…
Source details
The Decoder · Matthias Bastian · the-decoder.comPublished · added here
Original title: Anthropic's Claude now writes code and proves it safe automatically