Monitor della ricerca · Pagina 6

Sullivan & Cromwell brings legal expertise into agreement review

AI models · provider_announcement

In collaboration with OpenAI, Sullivan & Cromwell developed Agreement Analyzer, an AI tool for identifying issues in a draft agreement.

Scale Agentic Coding Workflows with Meta’s Muse Spark Open on NVIDIA GB300 NVL72

Agent systems · primary_technical_publication

Meta launches Muse Spark Open, a coding-optimized 816B mixture-of-experts (MoE) model with 42B active parameters and a 1M token context window. Trained on...

Proof-based general-purpose computing with Magnetar

Mathematical reasoning · primary_technical_publication

Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming

Bringing GPT-Rosalind to academic research labs

AI for science · provider_announcement

Introducing the Rosalind Academic Plan, offering eligible academic labs sponsored access to GPT-Rosalind and tools to advance life sciences research.

Optimizing Agent Reliability and Tool Calling Efficiency for Chip Design Using NVIDIA NeMo Gym

Agent systems · primary_technical_publication

AI agents offer remarkable productivity gains in complex chip design workflows, but their tendency to generate plausible yet incorrect artifacts makes...

Google DeepMind and Singapore Government collaborate to build fine-tuned AI model for scam detection

AI models · provider_announcement

Learn how Google DeepMind and GovTech Singapore uses lightweight on-device Gemma models to intercept conversational scams in private chats with zero cloud data egress.

How Third Moment Research runs 10,000 agents for 36+ hours

Agent systems · provider_announcement

With GPT-6 Astra and GPT-6.1 Sol, Codex, and Daybreak for cybersecurity, this AI lab builds agents that focus for days and improve with use.

Gemini 4 Argon for Robotics

Robotics & embodiment · provider_announcement

How to Rewrite Apache Spark UDFs for GPU Acceleration with AI Agents

Agent systems · primary_technical_publication

Enterprise applications have become increasingly demanding. Agentic AI has compounded the need for vast amounts of enterprise data with frequent, complex...

NVIDIA Run:ai Is Now Open Source as Part of NVIDIA DSX AI Factory Platform

AI models · primary_technical_publication

NVIDIA is making the full NVIDIA Run:ai platform available as open source software, giving customers, developers, and ecosystem partners access to...

Run fast, private agents on-device with LFM2.5-24B-A2B

Agent systems · primary_technical_publication

Gemini 4 Argon: Built to solve your hardest problems

AI models · provider_announcement

Developing Gemini 4 Argon responsibly and safely

AI models · provider_announcement

Simulating student learning for better AI tutoring

AI models · primary_technical_publication

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with

ReplaySSM: Rethinking State Storage for Faster Hybrid-Model Decoding

AI models · primary_technical_publication

Hybrid models interleave state-space model (SSM) layers with a few attention layers. NVIDIA Nemotron 3, Qwen3.5 through Qwen3.8, Kimi-K3, and GLM-5.3-Flash are...

Attention-Graph Curvature for the Verification of Mathematical Reasoning

Formal verification · preprint

Language models have recently solved open Erdős problems and achieved gold-medal level performance on International Mathematical Olympiad problems. But their solutions, written in natural language,

5 Steps to Create SimReady Assets for Robotics with Frontier AI Models

Robotics & embodiment · primary_technical_publication

Preparing CAD assets for robotics simulation requires more than converting geometry to OpenUSD: developers must configure and validate materials, collision...

Introducing the Anthropic Cyber Mission

Evaluation & safety · provider_announcement

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

Building Reliable Data Analytics Agents: Lessons from the KDD Cup

Agent systems · primary_technical_publication

The NVIDIA KGMON team placed second in the KDD Cup 2026 Data Agents competition with a system built around a simple idea of making an

NanoProof: Open and Efficient Automated Theorem Proving in Lean 4

Formal verification · preprint

We introduce NanoProof, to our knowledge the first factorized execution-guided theorem prover in Lean 4 whose training data, extraction tooling, training pipeline, and weights are

Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses

Agent systems · primary_technical_publication

Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks. Agent Lightning connects existing agents

The Machines that Make the Machines

Robotics & embodiment · primary_technical_publication

How we taught robots to assemble GB300 tester trays and what it taught us about robot learning, mechanical intelligence, and good old-fashioned engineering The...

Validate AI Factory Changes with Digital Twins and AI Agents

Agent systems · primary_technical_publication

AI factories are some of the most complex operations in the world, combining GPUs, CPUs, switches, DPUs, and SuperNICs alongside schedulers, orchestration...

Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification

Formal verification · preprint

Program verification establishes software correctness through machine-checkable proofs constructed in theorem provers. It's a guarantee especially valuable for code generated by large language models (LLMs),