TAG
#verification
Stories connected through a shared idea, actor, technology or theme.
OpenHands adds browser recording and built-in ACP agentsThe release adds browser session recording for verification workflows and includes OpenCode and Pi as built-in ACP agents on local backends. It also adds configuration changes for automated setup and splash-page behavior.→Synopsys introduces long-horizon agents for chip-to-system engineeringThe domain-specific agents are designed to reason, plan and execute workflows spanning verification, validation, implementation, manufacturing, simulation and analysis. Synopsys said the platform supports its own, partner and third-party models, infrastructure, tools and agents through an open architecture.→NNV3 expands formal verification across modern AI systemsNNV3 introduces verification methods for weight perturbations, video and volumetric inputs, graph neural networks and probabilistic reachability. Its new benchmarks cover malware detection, power systems, medical imaging, time series and action recognition.→Apodex 1.1 pairs multi-agent reasoning with built-in verificationApodex announced version 1.1 as a system for professional, scientific and financial work that combines multi-agent collaboration with built-in verification. The release also includes Apodex 1.1 Mini as open weights and FrontierAgent as open-source software, although the company’s benchmark claims remain vendor-reported.→Apodex 1.1 pairs an open-weight model with verifiable executionApodex 1.1 combines multi-agent collaboration, tool execution, failure recovery and source-linked verification in a persistent workbench that can process code and other artefacts. The release also includes open weights for Apodex 1.1 Mini and the open-source FrontierAgent framework; its capability comparisons are company-published.→Mole applies budgets and evidence checks to deep researchMole reserves every model call against a ledger before execution, checks extracted claims against verbatim source text, and records unsupported claims rather than silently retaining them. It runs as a static binary, supports OpenAI-compatible endpoints and restricts local-data analysis to aggregate outputs.→