Tech Meridian ← К СУЩНОСТЯМ
PROМОЙ MERIDIAN EN

ТЕМА · ENTITY #9762

formal verification tool (Sept 10)

Хронология связанных событий, источники и контекст из новостной базы.

ХРОНОЛОГИЯ СОБЫТИЙ

1

COMPANIES · 4 ИСТОЧН. · WIRED AI · The Verge AI · The Decoder · TechCrunch AI

Nvidia выпустила песочницу OpenShell и представила Sentry в рамках Open Agent Safety Platform

Nvidia выпустила OpenShell — песочницу на уровне ядра для изоляции автономных AI‑агентов — и объединила её с новым инструментом мониторинга и карантина Sentry в рамках Open Agent Safety Platform. Компания заявляет о сотрудничестве с десятками партнёров (включая SpaceXAI), OpenAI в списке отсутствует, и Nvidia работает с Arm и Intel над поддержкой x86 для Sentry.

8.0