Az Anthropic és a Theorem Claude segítségével néhány hét alatt mintegy 180 millió sornyi matematikai bizonyítást készített a Google OSS-Fuzz projektjének 123 nyílt forráskódú könyvtárához. A Rocq program ellenőrizte a bizonyításokat; a folyamat t&o