Nieuws5 min
23 okt 02:41
Claude bewijst crashvrij gedrag van 239 fuzz-testdoelen
Anthropic laat Claude 239 fuzz-testdoelen formeel bewijzen in 123 open sourcebibliotheken. De uitkomst is geen algemene veiligheidsverklaring: alleen geselecteerde codepaden en een afgebakende RISC-V-omgeving vallen binnen het bewijs.
Belangrijk
Unite.AI
Theorem
Anthropic
GitHub
Interesting Engineering
Kingy AI
Google Open Source Blog