formal verification

Anthropic says its Claude model wrote machine-checked mathematical proofs showing that compiled code from 123 open-source libraries cannot crash under defined conditions. The model also found bugs along the way that had gone undetected for years despite trillions of test…