What’s new in AI: models, tools and techniques, verified
Latest
Amazon Web Services has published documentation detailing two governance and security features for Amazon Quick: Smart Approvals, which uses automated review to reduce routine prompts while preserving human oversight, and Deny by Default, which restricts AI capabilities upon release unless explicitly allowed.
Amazon Web Services has published an architectural guide for building a serverless Model Context Protocol server on Amazon ECS Fargate. The design aims to provide AI agents with metadata-driven access to enterprise data lakes without requiring custom per-dataset integration code.
Microsoft Research has detailed PDD Kit, a toolkit designed to formally verify software written by AI agents. Operating alongside GitHub Next's Chopin environment, PDD Kit converts natural language developer intent into formal specifications and uses the Verus verifier to prove code correctness across every input.