AI vendor evaluation

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.

Een demo met honderden checks zegt weinig zolang je geen bronpassage, uitzonderingsreden en menselijke vrijgave kunt volgen. Test een echte accountantsworkflow read-only en beslis pas daarna over kopen, koppelen of maatwerk.