Milyen hatással lehet a Claude által automatikusan generált és matematikailag ellenőrzött kód a szoftverfejlesztésre?

Az Anthropic és a Theorem Claude segítségével automatikusan formális bizonyításokat készített 123 nyílt forráskódú könyvtárhoz. A modell néhány hét alatt mintegy 180 millió sor bizonyítási kódot generált, miközben több száz,

• Jelentősen növelheti a biztonságot és felgyorsíthatja a fejlesztést
• Hasznos lehet, de csak szigorúan meghatározott feltételek mellett
• Egyelőre túl költséges és korlátozott a széles körű használathoz