Hva vi har lært hos OpenShell om å bruke formelle metoder for å kontrollere AI-agenter

NVIDIAs OpenShell Research deler erfaringer med å bruke formelle verifikasjonsmetoder for å styre atferden til AI-agenter.

Kilde: https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/