
NVIDIA unveiled new local AI technologies at IFA 2026 designed to make on-device agents easier to install and faster to run.
The free and open-source NVIDIA PAIR automatically discovers compatible devices on a local network and distributes AI workloads across available computers. NVIDIA also released optimizations delivering up to 1.9x faster inference and confirmed that the first RTX Spark PCs will arrive in October.
Anthropic says Claude has produced the first complete, computer-checked formal proof of Fermat’s Last Theorem.