A Frontier Red Team (Anthropic) a Claude nyelvi modellt a Theorem Labs együttműködésével használta, és néhány hét alatt több mint száz valós, nyílt forráskódú könyvtárban bizonyított biztonsági tulajdonságokat. A munka azt jelzi, hogy az AI képes a formális verifikáció skálázhatóságát növelni, ami javíthatja a szoftverbiztonságot.
Mesterséges intelligenciával generált szöveg
Claude segítségével nagyszabású formális szoftverellenőrzés a Frontier Red Teamtől
A Frontier Red Team (Anthropic) a Claude nyelvi modellt a Theorem Labs együttműködésével használta, és néhány hét alatt több mint száz valós, nyílt forráskódú könyvtárban bizonyított biztonsági tulajdonságokat.
