Concept

Formal proof verification

Checking proofs of theorems encoded in a formal language.

Nieuws· 3

OpenAI geeft drie AI-claims elk een andere toetsingsroute

Nieuws

5 min

27 okt 02:17

OpenAI geeft drie AI-claims elk een andere toetsingsroute

OpenAI meldt drie AI-resultaten en geeft wiskunde, informatica en natuurkunde elk een eigen route voor academische toetsing. De ETH-claim staat in Lean, maar onafhankelijke beoordeling moet nog volgen.

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.