formalusis tikrinimas

Anthropic: Claude įrodė 123 bibliotekų saugumą

Anthropic teigia, kad jos Claude modelis parašė mašininiu būdu patikrintus matematinius įrodymus, rodančius, kad sukompiliuotas kodas iš 123 atvirojo kodo bibliotekų negali sugesti esant nustatytoms sąlygoms. Modelis taip pat aptiko klaidų, kurios metų metus liko nepastebėtos, nepaisant trilijonų atliktų testų,…