formell verifiering

Anthropic: Claude har bevisat säkerheten i 123 bibliotek

Anthropic uppger att deras modell Claude har skrivit maskinkontrollerade matematiska bevis som visar att kompilerad kod från 123 bibliotek med öppen källkod inte kan krascha under definierade förhållanden. Modellen hittade även buggar längs vägen som förblivit oupptäckta i åratal trots…