News
Anthropic says Claude wrote formal proofs for code in 123 libraries
The collaborators report about 180 million proof lines in results that passed a formal checker, but the guarantees cover selected tests and do not show the programs always finish.