muodollinen todentaminen

Anthropic: Claude todisti 123 kirjaston tietoturvan

Anthropicin mukaan sen Claude-malli kirjoitti koneellisesti tarkistettuja matemaattisia todistuksia, jotka osoittavat, että 123 avoimen lähdekoodin kirjaston käännetty koodi ei voi kaatua määritellyissä olosuhteissa. Malli löysi matkan varrella myös virheitä, jotka olivat jääneet huomaamatta vuosien ajan huolimatta biljoonista testiajoista. Tutkimus julkaistiin…