Concept

Proof reproducibility

Versioned manuscripts and build instructions let readers follow corrections and identify the intended version.

Nieuws· 2

Claude bewijst crashvrij gedrag van 239 fuzz-testdoelen

Nieuws

5 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.

OpenAI publiceert 722 manuscripten met wiskunderesultaten

Nieuws

5 min

7 okt 02:11

OpenAI publiceert 722 manuscripten met wiskunderesultaten

OpenAI zet 722 manuscripten uit een intern AI-model online. De GitHub-repository bundelt ze in 372 resultatfamilies en koppelt een deel aan formele Lean-bewijzen, met duidelijke grenzen aan wat al gecontroleerd is.